Author: John Etchemendy

Publications

Co-authors

Richard Cox

1

Robert Dale

1

Dave Barker-Plummer

2

Productive Colleagues

Robert Dale

5

Nik Swoboda

9

Richard Cox

14

Publications

Etchemendy, John (2008): Heterogeneous Reasoning. In: Stapleton, Gem, Howse, John, Lee, John (eds.) Diagrams 2008 - Diagrammatic Representation and Inference - 5th International Conference September 19-21, 2008, Herrsching, Germany. pp. 1. https://dx.doi.org/10.1007/978-3-540-87730-1_1

Barker-Plummer, Dave, Etchemendy, John, Liu, Albert, Murray, Michael, Swoboda, Nik (2008): Openproof - A Flexible Framework for Heterogeneous Reasoning. In: Stapleton, Gem, Howse, John, Lee, John (eds.) Diagrams 2008 - Diagrammatic Representation and Inference - 5th International Conference September 19-21, 2008, Herrsching, Germany. pp. 347-349. https://dx.doi.org/10.1007/978-3-540-87730-1_32

Cox, Richard, Dale, Robert, Etchemendy, John, Barker-Plummer, Dave (2008): Graphical Revelations: Comparing Students\' Translation Errors in Graphics and Logic. In: Stapleton, Gem, Howse, John, Lee, John (eds.) Diagrams 2008 - Diagrammatic Representation and Inference - 5th International Conference September 19-21, 2008, Herrsching, Germany. pp. 257-265. https://dx.doi.org/10.1007/978-3-540-87730-1_24