Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: The Automation Of Proof By Mathematical Induction
| Editors: | MISSING
| Book#: | MISSING
| Publisher: | MISSING
| Volume: | MISSING
| Pages: | MISSING
| |
Informatics Series Report #02 | |
Title: | The Automation Of Proof By Mathematical Induction |
---|---|
Authors: | Bundy,A |
Date: | 1999 |
Presented: | |
Keywords: |