A Prototype Interface Between CLAM and HOL

R. Boulton, K. Slind, Alan Bundy, M. Gordon

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationTheorem Proving in Higher Order Logics
Subtitle of host publication10th International Conference, TPHOLs ' 97 Murray Hill, NJ, USA, August 19-22, 1997 Proceedings
PublisherSpringer-Verlag GmbH
Volume1275
Publication statusPublished - 1997

Publication series

Name Lecture Notes in Computer Science
PublisherSpringer Verlag
ISSN (Print)0302-9743

Cite this