The Use of Proof Planning for Cooperative Theorem Proving

H. Lowe, Alan Bundy, D. McLean

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
JournalJournal of Symbolic Computation
Volume25
Publication statusPublished - 1998

Keywords

  • proof planning
  • Co-operative theorem proving
  • Explanations

Cite this