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


Peter Norvig's libraryResults 1-16 of 16

  • Custom Ordering
  • Default Ordering

Handbook of Automated Reasoning, Volume 1

Alan J.A. Robinson, Andrei Voronkov

Readings in Knowledge Representation

Ronald J. Brachman, Hector J. Levesque

Handbook of Philosophical Logic, Volume 14

Dov M. Gabbay, Franz Guenthner

Automated Theorem Proving: After 25 Years

W. W. Bledsoe, Donald W. Loveland