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

Understanding Formal Methods

Jean-Francois Monin - Computers - 2012 - 276 pages
This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all ...
Limited preview - About this book

Automated Deduction, CADE-11: 11th International Conference on Automated ...

Deepak Kapur - Computers - 1992 - 793 pages
"This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, inJune 1992. A total of 136 ...
Snippet view - About this book

Decision Procedures: An Algorithmic Point of View

Daniel Kroening, Ofer Strichman - Computers - 2008 - 306 pages
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to ...
Limited preview - About this book

Artificial intelligence in mathematics

Jeffrey Johnson, Sean McKee, Alfred Vella, Institute of Mathematics and Its Applications - Mathematics - 1994 - 328 pages
This book offers a revelatory glimpse into the future--when science, social science, and social administration will be based on the complementary interplay between artificial ...
Snippet view - About this book

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