Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings
Book Title
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop‚ Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings
Editor
Thomas F. Melham and Juanito Camilleri
ISBN
3−640−58450−1
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
859
Year
1994