Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Lecture Notes in Computer Science - Otmane Ait Mohamed - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540710653 - July 30, 2008
In case cover and title do not match, the title is correct

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Lecture Notes in Computer Science 2008 edition

Otmane Ait Mohamed

Price
NZD 115
excl. VAT

Ordered from remote warehouse

Expected delivery Apr 29 - May 12

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Lecture Notes in Computer Science 2008 edition

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.

321 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 30, 2008
ISBN13 9783540710653
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 321
Dimensions 155 × 235 × 17 mm   ·   498 g
Language French  
Editor Ait Mohamed, Otmane
Editor Munoz, Cesar
Editor Tahar, Sofiene

See all of Otmane Ait Mohamed ( e.g. Paperback Book )