Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, Ut, Usa, September 11 - 14, 1995. Proceedings

By James Alves-Foss, E. Thomas Schubert, Phillip J. Windley

This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995. The 26 papers... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540602755
• ISBN13: 9783540602750
• Release Date: August 1995
• Publisher: Springer
• Length: 408 Pages
• Weight: 1.28 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"