Higher Order Logic Theorem Proving and Its Applications
Subtitle: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 (Lecture Notes in Computer Science)
Publisher: Springer
Published: March 1994
Language: eng
Number of pages: 518
ISBN-13: 9780387578262