Edinburgh Research Explorer

System Description: an Interface Between CLAM and HOL

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

Standard

System Description: an Interface Between CLAM and HOL. / Slind, K.; Gordon, M.; Boulton, R.; Bundy, Alan.

Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings. Springer-Verlag GmbH, 1998. p. 134-138 (Lecture Notes in Computer Science; Vol. 1421).

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

Harvard

Slind, K, Gordon, M, Boulton, R & Bundy, A 1998, System Description: an Interface Between CLAM and HOL. in Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings. Lecture Notes in Computer Science, vol. 1421, Springer-Verlag GmbH, pp. 134-138. https://doi.org/10.1007/BFb0054255

APA

Slind, K., Gordon, M., Boulton, R., & Bundy, A. (1998). System Description: an Interface Between CLAM and HOL. In Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings (pp. 134-138). (Lecture Notes in Computer Science; Vol. 1421). Springer-Verlag GmbH. https://doi.org/10.1007/BFb0054255

Vancouver

Slind K, Gordon M, Boulton R, Bundy A. System Description: an Interface Between CLAM and HOL. In Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings. Springer-Verlag GmbH. 1998. p. 134-138. (Lecture Notes in Computer Science). https://doi.org/10.1007/BFb0054255

Author

Slind, K. ; Gordon, M. ; Boulton, R. ; Bundy, Alan. / System Description: an Interface Between CLAM and HOL. Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings. Springer-Verlag GmbH, 1998. pp. 134-138 (Lecture Notes in Computer Science).