Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Yves Bertot and Gilles Dowek and Andre Hirschowitz
Book 1690 of the
Lecture Notes in Computer Science, series
- ISBN: 3540664637
- ISBN-13: 9783540664635
- Authors : Yves Bertot and Gilles Dowek and Andre Hirschowitz
- Category :
Computers - Machine Theory
- Language : English
- Format:
Paperback
- Publication Date: 9/1/1999
- Publisher Imprint: Springer
- Price ($AUD): $176.95
- Usual Dispatch Time: 7 - 10 days
- Please note that all prices are in Australian dollars
- Some titles may be subject to availability