Edinburgh Research Explorer

The Use of Proof Planning for Cooperative Theorem Proving

Research output: Contribution to journal › Article

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
JournalJournal of Symbolic Computation
Volume25
Publication statusPublished - 1998

    Research areas

  • proof planning , Co-operative theorem proving, Explanations

Download statistics

No data available

ID: 402421