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


Publication Details:
Book: Logic Programming and Automated Reasoning 92
Editors:Voronkov, A.
Book#: 3-540-55727-X
Publisher:Springer-Verlag, Berlin
Volume:624
Pages: 178-189

Paper in Conference Proceedings #148

Title:the Use of Planning Critics in Mechanizing Inductive Proof
Authors:Ireland,A
Date: 1992
Presented:
Keywords:inductive theorem proving, proof plans








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