Spar
Theorem Proving in Higher Order Logics
Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.
- Undertittel
- 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
- Redaktør
- Otmane Ait Mohamed, César Munoz, Sofiène Tahar
- Opplag
- 2008 ed.
- ISBN
- 9783540710653
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 30.7.2008
- Antall sider
- 321
