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
Íkr 8,219
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 11 - 25
Get notified about new Elsa L Gunter releases

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.

More from the same publisher

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