The Use of Planning Critics in Mechanizing Inductive Proofs (1992)

Cached

Download Links

by Andrew Ireland
Venue:International Conference on Logic Programming and Automated Reasoning -- LPAR 92, St. Petersburg, Lecture Notes in Artificial Intelligence No. 624
Citations:54 - 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