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

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

Klaus Schneider

Price
€ 68.49

Ordered from remote warehouse

Expected delivery Dec 23 - Jan 2, 2025
Christmas presents can be returned until 31 January

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: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings - Lecture Notes in Computer Science 2007 edition

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
Show all

More by Klaus Schneider

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