Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science - David Basin - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540406648 - August 21, 2003
In case cover and title do not match, the title is correct

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

David Basin

Price
Mex$ 1,038
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 13 - 23

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: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy.

366 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 21, 2003
ISBN13 9783540406648
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 366
Dimensions 155 × 233 × 20 mm   ·   535 g
Language German  
Editor Basin, David
Editor Wolff, Burkhart
Show all

More by David Basin

See all of David Basin ( e.g. Paperback Book and Hardcover Book )