Edinburgh Research Explorer

Using Animation in Diagrammatic Theorem Proving

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

Standard

Using Animation in Diagrammatic Theorem Proving. / Bundy, Alan; Gurr, C.; Jamnik, M.; Winterstein, Daniel.

Proceedings for Diagrammatic Representation and Inference, 2nd International Conference, Diagrams 2002: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18–20, 2002 Proceedings. Springer Berlin Heidelberg, 2004. p. 46-60 (Lecture Notes in Computer Science; Vol. 2317).

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

Harvard

Bundy, A, Gurr, C, Jamnik, M & Winterstein, D 2004, Using Animation in Diagrammatic Theorem Proving. in Proceedings for Diagrammatic Representation and Inference, 2nd International Conference, Diagrams 2002: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18–20, 2002 Proceedings. Lecture Notes in Computer Science, vol. 2317, Springer Berlin Heidelberg, pp. 46-60. https://doi.org/10.1007/3-540-46037-3_5

APA

Bundy, A., Gurr, C., Jamnik, M., & Winterstein, D. (2004). Using Animation in Diagrammatic Theorem Proving. In Proceedings for Diagrammatic Representation and Inference, 2nd International Conference, Diagrams 2002: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18–20, 2002 Proceedings (pp. 46-60). (Lecture Notes in Computer Science; Vol. 2317). Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-46037-3_5

Vancouver

Bundy A, Gurr C, Jamnik M, Winterstein D. Using Animation in Diagrammatic Theorem Proving. In Proceedings for Diagrammatic Representation and Inference, 2nd International Conference, Diagrams 2002: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18–20, 2002 Proceedings. Springer Berlin Heidelberg. 2004. p. 46-60. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-46037-3_5

Author

Bundy, Alan ; Gurr, C. ; Jamnik, M. ; Winterstein, Daniel. / Using Animation in Diagrammatic Theorem Proving. Proceedings for Diagrammatic Representation and Inference, 2nd International Conference, Diagrams 2002: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18–20, 2002 Proceedings. Springer Berlin Heidelberg, 2004. pp. 46-60 (Lecture Notes in Computer Science).