Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2003, Rome, Italy, September 9-12, 2003. Proceeding 2003 Edition (Lecture Notes in Computer Science)Cialdea Mayer, MartaPaperback3540407871 /
9783540407874		09/2003$52.24
Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter Softcover Repri Edition (Artificial Intelligence)Levesque, Hector J.Paperback364264306X /
9783642643064		09/2011$52.24
  (2 items found)