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


Peter Norvig's libraryResults 121-130 of 174

  • 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

Computers and Thought

Edward A. Feigenbaum, Julian Feldman, Paul Armer - 1995 - Computers - Snippet view
Computers and Thought showcases the work of the scientists who not only defined the field of Artificial Intelligence, but who are responsible for having developed it into what it is today. Originally published in 1963, this collection includes ...
0 Reviews - Write review

Artificial Intelligence Programming

Eugene Charniak - 1987 - Computers - Limited preview
Artificial intelligence research has thrived in the years since this best-selling AI classic was first published. The revision encompasses these advances by adapting its coding to Common Lisp, the well-documented language standard, and by ...
1 Review - 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

Kasparov versus Deep Blue: computer chess comes of age

Monroe Newborn - 1997 - Computers - Snippet view
Traces the history of chess-playing computer programs up to the 1996 match in which world champion Gary Kasparov lost one game to IBM's Deep Blue
1 Review - Write review