Edinburgh Research Explorer

The Design of the CADE-16 Inductive Theorem Prover Contest

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

Standard

The Design of the CADE-16 Inductive Theorem Prover Contest. / Bundy, Alan; Hutter, D.

Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer-Verlag GmbH, 1999. p. 374-377 (Lecture Notes in Computer Science; Vol. 1632).

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

Harvard

Bundy, A & Hutter, D 1999, The Design of the CADE-16 Inductive Theorem Prover Contest. in Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Lecture Notes in Computer Science, vol. 1632, Springer-Verlag GmbH, pp. 374-377. DOI: 10.1007/3-540-48660-7_33

APA

Bundy, A., & Hutter, D. (1999). The Design of the CADE-16 Inductive Theorem Prover Contest. In Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings (pp. 374-377). (Lecture Notes in Computer Science; Vol. 1632). Springer-Verlag GmbH. DOI: 10.1007/3-540-48660-7_33

Vancouver

Bundy A, Hutter D. The Design of the CADE-16 Inductive Theorem Prover Contest. In Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer-Verlag GmbH. 1999. p. 374-377. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/3-540-48660-7_33

Author

Bundy, Alan ; Hutter, D./ The Design of the CADE-16 Inductive Theorem Prover Contest. Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer-Verlag GmbH, 1999. pp. 374-377 (Lecture Notes in Computer Science).