Limit this search to....

  (4 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Automated Deduction in Classical and Non-Classical Logics: Selected Papers 2000 Edition (Lecture Notes in Computer Science)Caferra, RicardoPaperback3540671900 /
9783540671909		02/2000$52.24
Automated Model Building 2004 Edition (Applied Logic)Caferra, RicardoHardcover1402026528 /
9781402026522		09/2004$161.49
Automated Model Building (Applied Logic)Caferra, RicardoPaperback9048166969 /
9789048166961		12/2010$161.49
Logic for Computer Science and Artificial IntelligenceCaferra, RicardoHardcover1848213018 /
9781848213012		08/2011$233.65
  (4 items found)