Tobias Nipkow books & textbook
Concrete Semantics: With Isabelle/HOL
Springer /2014-12-15 Hardcover / 311 Pages
isbn-10: 3319105418 / isbn-13: 9783319105413
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)
Barendregt, Henk Nipkow, Tobias
Springer /1994-05-20 Paperback / 404 Pages
isbn-10: 3540580859 / isbn-13: 9783540580850
Term Rewriting and All That
Cambridge University Press /1999-08-28 Paperback / 316 Pages
isbn-10: 0521779200 / isbn-13: 9780521779203
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
Nipkow, Tobias Paulson, Lawrence C. Wenzel, Markus
Springer /2002-04-03 Paperback / 240 Pages
isbn-10: 3540433767 / isbn-13: 9783540433767
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science, 4085)
Misra, Jayadev Nipkow, Tobias Sekerinski, Emil
Springer /2006-08-10 Paperback / 635 Pages
isbn-10: 3540372156 / isbn-13: 9783540372158
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science, 816)
Heering, Jan Meinke, Karl Möller, Bernhard Nipkow, Tobias
Springer /1994-07-28 Paperback / 360 Pages
isbn-10: 3540582339 / isbn-13: 9783540582335
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in Computer Science, 5674)
Berghofer, Stefan Nipkow, Tobias Urban, Christian Wenzel, Makarius
Springer /2009-08-04 Paperback / 528 Pages
isbn-10: 364203358X / isbn-13: 9783642033582
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science, 1379)
Springer /1998-03-11 Paperback / 342 Pages
isbn-10: 354064301X / isbn-13: 9783540643012
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083)
Gore, Rajeev Leitsch, Alexander Nipkow, Tobias
Springer /2001-06-06 Paperback / 725 Pages
isbn-10: 3540422544 / isbn-13: 9783540422549
