Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings - Theoretical Computer Science and General Issues 5674 (Paperback)Stefan Berghofer (editor), Tobias Nipkow (editor), Christian Urban (editor), Makarius Wenzel (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 517
Weight: 807 g
Dimensions: 235 x 155 x 25 mm
Edition: 2009 ed.
You may also be interested in...
Please sign in to write a review