The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

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
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
Keywords:theorom proving, mathematical induction, recursion analysis, proof plans

[Search These Pages] [DAI Home Page] [Comment]