Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002. Proceedings

By Alessandro B. Montanari

This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton, VA, USA in August 2002. The 20 revised full... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540440399
• ISBN13: 9783540440390
• Release Date: August 2002
• Publisher: Springer
• Length: 347 Pages
• Weight: 1.86 lbs.
• Dimensions: 0.8" x 8.5" x 11.0"