Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-22, 1997, Proceedings - Lecture Notes in Computer Science - Elsa L Gunter - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540633792 - August 6, 1997
In case cover and title do not match, the title is correct

Elsa L Gunter
Theorem Proving in Higher Order Logics: 10th International Conference, Tphols'97, Murray Hill, Nj, Usa, August 19-22, 1997, Proceedings - Lecture Notes in Computer Science

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

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

Not rated yet

This volume comprises the proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97. Papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics.

346 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 6, 1997
ISBN13 9783540633792
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 346
Dimensions 156 × 234 × 18 mm   ·   498 g
Language German  
Editor Felty, Amy
Editor Gunter, Elsa L.

Mere med samme udgiver

See all of Elsa L Gunter ( e.g. Paperback Book )