The Use of Planning Critics in Mechanizing Inductive Proofs (1992)
by
Andrew Ireland
| Venue: | International Conference on Logic Programming and Automated Reasoning -- LPAR 92, St. Petersburg, Lecture Notes in Artificial Intelligence No. 624 |
| Citations: | 53 - 11 self |
Document Versions
| The Use of Planning Critics in Mechanizing Inductive Proofs –Andrew Ireland — 1992 — International Conference on Logic Programming and Automated Reasoning -- LPAR 92, St. Petersburg, Lecture Notes in Artificial Intelligence No. 624 |
