logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings - Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
by: (author) (author) (author) (author)
Format: paperback
ISBN: 9783642033582 (364203358X)
Publisher: Springer
Pages no: 515
Edition language: English
Bookstores:
Books by Tobias Nipkow
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings - Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
Concrete Semantics: With Isabelle/HOL - Tobias Nipkow, Gerwin Klein
Formal Logical Methods for System Security and Correctness (Nato Science for Peace and Security) (Nato Science for Peace and Security) - Orna Grumberg, Tobias Nipkow, Christian Pfaller
Types for Proofs and Programs: Internati... Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science) - Henk Barendregt, Tobias Nipkow
Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Tobias Nipkow
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) - Jan Heering, Karl Meinke, Bernhard Mxf6ller, Tobias Nipkow
Term Rewriting and All That - Tobias Nipkow
Books by Stefan Berghofer
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings - Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
Books by Christian Urban
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings - Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
Books by Makarius Wenzel
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings - Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.