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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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	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

@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 = mar,

language = "English",

booktitle = "Proceedings of Diagrams '04, International Conference on the Theory and Application of Diagrams",

note = "Third International Conference on the Theory and Application of Diagrams (Diagrams 2004) ; Conference date: 22-03-2004 Through 24-03-2004",

}

TY - GEN

T1 - Generating readable proofs

T2 - Third International Conference on the Theory and Application of Diagrams (Diagrams 2004)

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

Y2 - 22 March 2004 through 24 March 2004

ER -