Experiments with proof plans for induction

F.A.H. van Harmelen, J Hesketh, A. Bundy, A Smaill

Research output: Contribution to JournalArticleAcademicpeer-review

87 Downloads (Pure)
Original languageEnglish
Pages (from-to)303-324
JournalJournal of Automated Reasoning
Volume7
DOIs
Publication statusPublished - 1991

Cite this