Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
- Author
- Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 1999
- Page
- 364
- ISBN
- 3540664637,9783540664635
- File Type
- pdf
- File Size
- 3.5 MiB
How to Download?!!!
Just click on START button on Telegram Bot