Search Images Maps Play YouTube News Gmail Drive More »
Sign in
  1. My library
  2. Help
  3. Advanced Book Search

Books

Peter Norvig's libraryResults 11-16 of 16

  • Custom Ordering
  • Default Ordering

Logic-Based Artificial Intelligence

Jack Minker - 2000 - Computers - Limited preview
This landmark volume represents the culmination of over 40 years of research in the use of logic as a basis for representing and manipulating problems in the field of artificial intelligence. The use of logic as a basis for commonsense reasoning ...
0 Reviews - Write review

Model Checking

E. M. Clarke, Orna Grumberg, Doron Peled - 1999 - Computers - Limited preview
This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers.
3 Reviews - Write review

Mathematical Logic

Willard QUINE - 1981 - Philosophy - Limited preview
W. V. Quine‚e(tm)s systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first ...
1 Review - Write review

Automated Theorem Proving: After 25 Years

W. W. Bledsoe, Donald W. Loveland - 1984 - Mathematics - No preview available
0 Reviews - Write review

Automated theorem proving

W. Bibel - 1982 - Automatic theorem proving - Snippet view
0 Reviews - Write review

Automated Theorem Proving: Theory and Practice, Volume 1

Monroe Newborn, Monty Newborn - 2001 - Computers - Limited preview
This text and software package introduces the reader to automated theorem proving and provides two approaches implemented as easy-to-use programs. The two approaches studied are semantic tree theorem proving and resolution-refutation theorem ...
0 Reviews - Write review