Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings - Lecture Notes in Computer Science 1690 (Paperback)Yves Bertot (editor), Gilles Dowek (editor), Andre Hirschowitz (editor), Christine Paulin (editor), Laurent Thery (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 364
Weight: 1160 g
Dimensions: 233 x 155 x 19 mm
Edition: 1999 ed.
You may also be interested in...
Please sign in to write a review