Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings
- Author
- Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 2004
- Page
- 340
- ISBN
- 3540230173,9783540230175,9783540301424
- File Type
- pdf
- File Size
- 4.6 MiB
How to Download?!!!
Just click on START button on Telegram Bot