| Original language | English |
|---|---|
| Title of host publication | Proceedings of Diagrams '04, International Conference on the Theory and Application of Diagrams |
| Number of pages | 15 |
| Publication status | Published - Mar 2004 |
| Event | Third International Conference on the Theory and Application of Diagrams (Diagrams 2004) - Cambridge, United Kingdom Duration: 22 Mar 2004 → 24 Mar 2004 |
Conference
| Conference | Third International Conference on the Theory and Application of Diagrams (Diagrams 2004) |
|---|---|
| Country | United Kingdom |
| City | Cambridge |
| Period | 22/03/04 → 24/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 proceeding › Conference 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
@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 -