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 - 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 - Computers - Snippet view
Among the dreams of mankind is the one dealing with the mecha≠ nization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might ...
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