Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

By Thomas F. Melham and Juanito Camilleri

This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994. Besides 3 invited papers,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540584501
• ISBN13: 9783540584506
• Release Date: September 1994
• Publisher: Springer
• Length: 477 Pages
• Weight: 1.50 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"