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

Types in Logic Programming

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

Logical Frameworks

Gerard Huet, G. Plotkin - Computers - 1991 - 403 pages
In Logical Frameworks, first published in 1991, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. The contributions are of ...
Limited preview - About this book

A Classical mind: essays in honour of C.A.R. Hoare

A. W. Roscoe - Computers - 1994 - 451 pages
To celebrate the 60th birthday and the achievement of C.A.R. Hoare, a rich assembly of contributors have pulled together to provide a volume of essays which are dedicated to ...
Snippet view - About this book

Efficiency in a Fully-expansive Theorem Prover

Richard John Boulton, University of Cambridge. Computer Laboratory - Artificial intelligence - 1994 - 126 pages
Abstract: "The HOL system is a fully-expansive theorem prover: Proofs generated in the system are composed of applications of the primitive inference rules of the underlying ...
Snippet view - About this book

Thirty Five Years of Automating Mathematics

F.D. Kamareddine - Computers - 2003 - 318 pages
N.G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. In the 1960s he ...
Limited preview - About this book

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