Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Sale price
$49.49
Regular price $54.99
Skip to product information
Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Sale price
$49.49
Regular price $54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science
Theorem Proving in Higher Order Logics
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Yves Bertot | Gilles Dowek | Andre Hirschowitz | Christine Paulin | Laurent Thery
Mathematics / Applied
| Publication Date: | 01 September 1999 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540664635 |
| Format: | Paperback softback |
| Page Count: | 364 |