Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 26 related to ONTIC: A Knowledge Representation System for Mathematics.    

Understanding Formal Methods

Jean-Francois Monin, M.G. Hinchey - Computers - 2003 - 275 pages
This book is intended to help the student or the engineer who wants an intro duction to formal techniques, as well as the practitioner who wishes to broaden her or his ...
Limited preview - About this book

Types in Logic Programming

Frank Pfenning - Computers - 1992 - 357 pages
No preview available - About this book

Deduction Systems

Rolf Socher-Ambrosius - Computers - 1997 - 206 pages
Offering a theoretical treatment of the fundamental concepts and methods of automated deduction, this text presents an account which covers resolution theorem-proving in order ...
Limited preview - About this book

Principles of Artificial Intelligence

Nils J. Nilsson - Computers - 1982 - 476 pages
Previous treatments of Artificial Intelligence (AI) divide the subject into its major areas of application, namely, natural language processing, automatic programming, robotics ...
Limited preview - About this book

The Computer Modelling of Mathematical Reasoning

A. Bundy - Mathematics - 1983 - 322 pages
This review of the work done to date on the computer modelling of mathematical reasoning processes brings together a variety of approaches and disciplines within a coherent ...
Snippet view - About this book

  1. My library
  2. Help
  3. Advanced Book Search