Edinburgh Research Explorer

The Automation of Proof by Mathematical Induction

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationHandbook of Automated Reasoning
EditorsA. Robinson, A. Boronkov
PublisherElsevier and MIT Press
Pages845-911
ISBN (Print)0-444-50813-9
StatePublished - 2001

Download statistics

No data available

ID: 405766