Theorem Proving in Higher Order Logics: 13th International Conference, Tphols 2000 Portland, Or, Usa, August 14-18, 2000 Proceedings

by Mark D. Aagaard and Mark Aagaard

This volume is the proceedings of the 13th International Conference on Theo- rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540678638
• ISBN13: 9783540678632
• Release Date: July 2000
• Publisher: Springer
• Length: 539 Pages
• Weight: 1.68 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"