|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | 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 |
|  | Concrete Semantics: With Isabelle/Hol Softcover Repri Edition | Nipkow, Tobias | Paperback | 331935759X /
9783319357591 | 09/2016 | $52.24 |
|  | Concrete Semantics: With Isabelle/Hol 2014 Edition | Nipkow, Tobias | Hardcover | 3319105418 /
9783319105413 | 12/2014 | $80.74 |
|  | FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings 2006 Edition (Lecture Notes in Computer Science) | Misra, Jayadev | Paperback | 3540372156 /
9783540372158 | 08/2006 | $104.49 |
|  | Isabelle/Hol: A Proof Assistant for Higher-Order Logic 2002 Edition (Lecture Notes in Computer Science) | Nipkow, Tobias | Paperback | 3540433767 /
9783540433767 | 04/2002 | $56.99 |
|  | Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings 1998 Edition (Rewriting Techniques & Applications) | Nipkow, Tobias | Paperback | 354064301X /
9783540643012 | 03/1998 | $52.24 |
|  | Term Rewriting and All That | Baader, Franz | Open Ebook | 1139172751 /
9781139172752 | 06/2012 | $213.75 |
|  | 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 |
|
|
|