Titel | Art | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings | Taschenbuch | | 978-3-540-42254-9 | 2008 | Alexander Leitsch · Rajeev Gore |
Concrete Semantics: With Isabelle/HOL | Gebunden | | 978-3-319-10541-3 | 2014 | Gerwin Klein |
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings | Taschenbuch | | 978-3-540-37215-8 | 2010 | Jayadev Misra · Emil Sekerinski |
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected ... Notes in Computer Science , Band 816) | " | | 978-3-540-58233-5 | 2008 | Jan Heering · Bernhard M??ller · Karl Meinke |
Isabelle/HOL: A Proof Assistant for Higher-Order Logic | " | | 978-3-540-43376-7 | 2002 |
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings | " | | 978-3-540-64301-2 | 2008 |
Term Rewriting and All That | Paperback | | 978-0-521-77920-3 | 1999 | Franz Baader |
Term Rewriting and All That | Hardcover | | 978-0-521-45520-6 | 1998 | " |
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings | Taschenbuch | | 978-3-642-03358-2 | 2009 | Stefan Berghofer · Christian Urban · Makarius Wenzel |
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers | " | | 978-3-540-58085-0 | 2008 | Henk Barendregt |