Edinburgh Research Explorer

The Automation of Proof by Mathematical Induction

Research output: Chapter in Book/Report/Conference proceedingChapter

Related Edinburgh Organisations

Open Access permissions


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

Download statistics

No data available

ID: 405766