Original language | English |
---|---|
Title of host publication | Handbook of Automated Reasoning |
Editors | A. Robinson, A. Boronkov |
Publisher | Elsevier |
Pages | 845-911 |
ISBN (Print) | 0-444-50813-9 |
Publication status | Published - 2001 |
The Automation of Proof by Mathematical Induction
Research output: Chapter in Book/Report/Conference proceeding › Chapter