Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Proceedings of the 11th International Joint Conference on Artificial Intelligence
| Editors: | Sridharan, N.S.
| Book#: | 1-55860-094-9
| Publisher: | Morgan Kaufman, USA
| Volume: | 1
| Pages: | 359-365
| |
Paper in Conference Proceedings #346 | |
Title: | a Rational Reconstruction and Extension of Recursion Analysis |
---|---|
Authors: | Bundy,A; van Harmelen,F; Hesketh,J; Smaill,AD; Stevens,A |
Date: | 1989 |
Presented: | |
Keywords: | theorom proving, mathematical induction, recursion analysis, proof plans |