Edinburgh Research Explorer

System Description: CyNTHIA

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

Standard

System Description: CyNTHIA. / Whittle, J.; Bundy, Alan; Boulton, R.; Lowe, H.

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

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

Harvard

Whittle, J, Bundy, A, Boulton, R & Lowe, H 1999, System Description: CyNTHIA. 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. 388-392. DOI: 10.1007/3-540-48660-7_36

APA

Whittle, J., Bundy, A., Boulton, R., & Lowe, H. (1999). System Description: CyNTHIA. In Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings (pp. 388-392). (Lecture Notes in Computer Science; Vol. 1632). Springer-Verlag GmbH. DOI: 10.1007/3-540-48660-7_36

Vancouver

Whittle J, Bundy A, Boulton R, Lowe H. System Description: CyNTHIA. In Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer-Verlag GmbH. 1999. p. 388-392. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/3-540-48660-7_36

Author

Whittle, J. ; Bundy, Alan ; Boulton, R. ; Lowe, H./ System Description: CyNTHIA. Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Springer-Verlag GmbH, 1999. pp. 388-392 (Lecture Notes in Computer Science).