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

Generating readable proofs : A heuristic approach to theorem proving with spider diagrams. / Flower, J.; Masthoff, Judith Francoise Maria; Stapleton, G.

Proceedings of Diagrams '04, International Conference on the Theory and Application of Diagrams. 2004.

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

Flower, J, Masthoff, JFM & 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. Third International Conference on the Theory and Application of Diagrams (Diagrams 2004) , Cambridge, United Kingdom, 22/03/04.
Flower J, Masthoff JFM, Stapleton G. 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. 2004
Flower, J. ; Masthoff, Judith Francoise Maria ; Stapleton, G. / Generating readable proofs : A heuristic approach to theorem proving with spider diagrams. Proceedings of Diagrams '04, International Conference on the Theory and Application of Diagrams. 2004.
@inproceedings{381d38ac0e9243cdabd8547e248d175f,
title = "Generating readable proofs: A heuristic approach to theorem proving with spider diagrams",
author = "J. Flower and Masthoff, {Judith Francoise Maria} and G. Stapleton",
year = "2004",
month = "3",
language = "English",
booktitle = "Proceedings of Diagrams '04, International Conference on the Theory and Application of Diagrams",

}

TY - GEN

T1 - Generating readable proofs

T2 - A heuristic approach to theorem proving with spider diagrams

AU - Flower, J.

AU - Masthoff, Judith Francoise Maria

AU - Stapleton, G.

PY - 2004/3

Y1 - 2004/3

M3 - Conference contribution

BT - Proceedings of Diagrams '04, International Conference on the Theory and Application of Diagrams

ER -