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 |