Generating readable proofs: A heuristic approach to theorem proving with spider diagrams

J. Flower, Judith Francoise Maria Masthoff, G. Stapleton

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of Diagrams '04, International Conference on the Theory and Application of Diagrams
Number of pages15
Publication statusPublished - Mar 2004
EventThird International Conference on the Theory and Application of Diagrams (Diagrams 2004) - Cambridge, United Kingdom
Duration: 22 Mar 200424 Mar 2004

Conference

ConferenceThird International Conference on the Theory and Application of Diagrams (Diagrams 2004)
CountryUnited Kingdom
CityCambridge
Period22/03/0424/03/04

Cite this

Flower, J., Masthoff, J. F. M., & Stapleton, G. (2004). Generating readable proofs: A heuristic approach to theorem proving with spider diagrams. In Proceedings of Diagrams '04, International Conference on the Theory and Application of Diagrams