|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Automated Model Building 2004 Edition (Applied Logic) | Caferra, Ricardo | Hardcover | 1402026528 / 9781402026522 | 09/2004 | $161.49 |
| | Automated Model Building (Applied Logic) | Caferra, Ricardo | Paperback | 9048166969 / 9789048166961 | 12/2010 | $161.49 |
| | Automated Reasoning: First International Joint Conference, Ijcar 2001 Siena, Italy, June 18-23, 2001 Proceedings 2001 Edition (Lecture Notes in Computer Science) | Gore, Rajeev | Paperback | 3540422544 / 9783540422549 | 06/2001 | $104.49 |
| | Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997, Proceedings 1997 Edition (Lecture Notes in Computer Science) | Gottlob, Georg | Paperback | 3540633855 / 9783540633853 | 08/1997 | $52.24 |
| | Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993. Proceedings 1993 Edition (Lecture Notes in Computer Science) | Gottlob, Georg | Paperback | 3540571841 / 9783540571841 | 08/1993 | $52.24 |
| | Methods of Cut-Elimination 2011 Edition (Trends in Logic) | Baaz, Matthias | Paperback | 9400734972 / 9789400734975 | 02/2013 | $104.49 |
| | The Resolution Calculus Softcover Repri Edition (Texts in Theoretical Computer Science. an Eatcs) | Leitsch, Alexander | Paperback | 3642644732 / 9783642644733 | 09/2011 | $52.24 |
|
|
|