Edinburgh Research Explorer

Experiments with Proof Plans for Induction

Research output: Contribution to journalArticle

Standard

Experiments with Proof Plans for Induction. / Bundy, Alan; van Harmelen, F.; Hesketh, J.; Smaill, A.

In: Journal of Automated Reasoning, Vol. 7, No. 3, 1991, p. 303-324.

Research output: Contribution to journalArticle

Harvard

Bundy, A, van Harmelen, F, Hesketh, J & Smaill, A 1991, 'Experiments with Proof Plans for Induction' Journal of Automated Reasoning, vol. 7, no. 3, pp. 303-324. DOI: 10.1007/BF00249016

APA

Bundy, A., van Harmelen, F., Hesketh, J., & Smaill, A. (1991). Experiments with Proof Plans for Induction. Journal of Automated Reasoning, 7(3), 303-324. DOI: 10.1007/BF00249016

Vancouver

Bundy A, van Harmelen F, Hesketh J, Smaill A. Experiments with Proof Plans for Induction. Journal of Automated Reasoning. 1991;7(3):303-324. Available from, DOI: 10.1007/BF00249016

Author

Bundy, Alan ; van Harmelen, F. ; Hesketh, J. ; Smaill, A./ Experiments with Proof Plans for Induction. In: Journal of Automated Reasoning. 1991 ; Vol. 7, No. 3. pp. 303-324