Experiments with Proof Plans for Induction (1992)

Cached

Download Links

by Alan Bundy , Frank van Harmelen , Jane Hesketh , Alan Smaill
Venue:Journal of Automated Reasoning
Citations:95 - 33 self

Document Versions

Experiments with Proof Plans for Induction –Alan Bundy, Frank van Harmelen, Jane Hesketh, Alan Smaill — 1992 — Journal of Automated Reasoning