Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings - Lecture Notes in Computer Science - Klaus Schneider - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540745907 - August 28, 2007
In case cover and title do not match, the title is correct

Klaus Schneider
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition

Price
$ 65.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 27 - Jun 8

Our customers say:

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

This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007.

404 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 28, 2007
ISBN13 9783540745907
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 404
Dimensions 155 × 235 × 21 mm   ·   625 g
Editor Brandt, Jens
Editor Schneider, Klaus

More by Klaus Schneider

Show all

See all of Klaus Schneider ( e.g. Paperback Book , Hardcover Book and 12" )