Division of Informatics
Forrest Hill & 80 South Bridge
Research Paper #908
Title:
The Automation of Proof by Mathematical Induction
Authors:
Bundy,A
Date:
May
1998
Presented:
Accepted for the Handbook of Automated Reasoning
Keywords:
Abstract:
Download:
POSTSCRIPT COPY