|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007, 2007 Edition (Lecture Notes in Artificial Intelligence) | Olivetti, Nicola | Paperback | 3540730982 /
9783540730989 | 06/2007 | $52.24 |
|  | Automated Reasoning: 8th International Joint Conference, Ijcar 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings 2016 Edition (Lecture Notes in Computer Science) | Olivetti, Nicola | Paperback | 3319402285 /
9783319402284 | 06/2016 | $85.49 |
|  | Proof Theory for Fuzzy Logics (Applied Logic) | Metcalfe, George | Paperback | 9048181216 /
9789048181216 | 10/2010 | $123.49 |
|  | Proof Theory for Fuzzy Logics 2009 Edition (Applied Logic) | Metcalfe, George | Hardcover | 1402094086 /
9781402094088 | 12/2008 | $123.49 |
|
|
|