Edinburgh Research Explorer

Extensions to a generalization critic for inductive proof

Research output: Contribution to journalArticle

Standard

Extensions to a generalization critic for inductive proof. / Ireland, A.; Bundy, Alan.

In: Automated Deduction - CADE-13, Vol. Lecture notes in Artificial Intelligence 1104, 1996.

Research output: Contribution to journalArticle

Harvard

Ireland, A & Bundy, A 1996, 'Extensions to a generalization critic for inductive proof' Automated Deduction - CADE-13, vol. Lecture notes in Artificial Intelligence 1104.

APA

Ireland, A., & Bundy, A. (1996). Extensions to a generalization critic for inductive proof. Automated Deduction - CADE-13, Lecture notes in Artificial Intelligence 1104.

Vancouver

Ireland A, Bundy A. Extensions to a generalization critic for inductive proof. Automated Deduction - CADE-13. 1996;Lecture notes in Artificial Intelligence 1104.

Author

Ireland, A. ; Bundy, Alan. / Extensions to a generalization critic for inductive proof. In: Automated Deduction - CADE-13. 1996 ; Vol. Lecture notes in Artificial Intelligence 1104.