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


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 - Mathematics - Limited preview
4 Reviews - 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