|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, China, August 24-27, 2015, Proceedings 2015 Edition (Lecture Notes in Computer Science) | Urban, Christian | Paperback | 3319221019 /
9783319221014 | 08/2015 | $52.24 |
|  | Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings 2009 Edition (Lecture Notes in Computer Science) | Berghofer, Stefan | Paperback | 364203358X /
9783642033582 | 08/2009 | $52.24 |
|  | Ähnlichkeitssuche in der "Lost Art Internet Database" (German) | Urban, Christian | Paperback | 3838677862 /
9783838677866 | 03/2004 | $91.11 |
|
|
|