Edinburgh Research Explorer

The Automation of Proof by Mathematical Induction

Research output: Chapter in Book/Report/Conference proceedingChapter

Standard

The Automation of Proof by Mathematical Induction. / Bundy, Alan.

Handbook of Automated Reasoning. ed. / A. Robinson; A. Boronkov. Elsevier and MIT Press, 2001. p. 845-911.

Research output: Chapter in Book/Report/Conference proceedingChapter

Harvard

Bundy, A 2001, The Automation of Proof by Mathematical Induction. in A Robinson & A Boronkov (eds), Handbook of Automated Reasoning. Elsevier and MIT Press, pp. 845-911.

APA

Bundy, A. (2001). The Automation of Proof by Mathematical Induction. In A. Robinson, & A. Boronkov (Eds.), Handbook of Automated Reasoning (pp. 845-911). Elsevier and MIT Press.

Vancouver

Bundy A. The Automation of Proof by Mathematical Induction. In Robinson A, Boronkov A, editors, Handbook of Automated Reasoning. Elsevier and MIT Press. 2001. p. 845-911

Author

Bundy, Alan. / The Automation of Proof by Mathematical Induction. Handbook of Automated Reasoning. editor / A. Robinson ; A. Boronkov. Elsevier and MIT Press, 2001. pp. 845-911