|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Deduction -- Cade-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Artificial Intelligence) | Bjørner, Nikolaj | Paperback | 3642224377 /
9783642224379 | 07/2011 | $52.24 |
|  | FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings 2015 Edition (Lecture Notes in Computer Science) | Bjørner, Nikolaj | Paperback | 3319192485 /
9783319192482 | 06/2015 | $52.24 |
|  | Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedin (Lecture Notes in Computer Science) | Bjørner, Nikolaj | Paperback | 3642287166 /
9783642287169 | 02/2012 | $52.24 |
|
|
|