Edinburgh Research Explorer

A Prototype Interface Between CLAM and HOL

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

Standard

A Prototype Interface Between CLAM and HOL. / Boulton, R.; Slind, K.; Bundy, Alan; Gordon, M.

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs ' 97 Murray Hill, NJ, USA, August 19-22, 1997 Proceedings. Vol. 1275 Springer-Verlag GmbH, 1997. ( Lecture Notes in Computer Science ).

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

Harvard

Boulton, R, Slind, K, Bundy, A & Gordon, M 1997, A Prototype Interface Between CLAM and HOL. in Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs ' 97 Murray Hill, NJ, USA, August 19-22, 1997 Proceedings. vol. 1275, Lecture Notes in Computer Science , Springer-Verlag GmbH.

APA

Boulton, R., Slind, K., Bundy, A., & Gordon, M. (1997). A Prototype Interface Between CLAM and HOL. In Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs ' 97 Murray Hill, NJ, USA, August 19-22, 1997 Proceedings (Vol. 1275). ( Lecture Notes in Computer Science ). Springer-Verlag GmbH.

Vancouver

Boulton R, Slind K, Bundy A, Gordon M. A Prototype Interface Between CLAM and HOL. In Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs ' 97 Murray Hill, NJ, USA, August 19-22, 1997 Proceedings. Vol. 1275. Springer-Verlag GmbH. 1997. ( Lecture Notes in Computer Science ).

Author

Boulton, R. ; Slind, K. ; Bundy, Alan ; Gordon, M./ A Prototype Interface Between CLAM and HOL. Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs ' 97 Murray Hill, NJ, USA, August 19-22, 1997 Proceedings. Vol. 1275 Springer-Verlag GmbH, 1997. ( Lecture Notes in Computer Science ).