An interface between CLAM and HOL

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/bfb0055131 ◽

1998 ◽

pp. 87-104 ◽

Cited By ~ 15

Author(s):

Richard Boulton ◽

Konrad Slind ◽

Alan Bundy ◽

Mike Gordon

Download Full-text