| |
| 2008 | ||
|---|---|---|
| 5 | EE | John Etchemendy: Heterogeneous Reasoning. Diagrams 2008: 1 |
| 4 | EE | Richard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer: Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic. Diagrams 2008: 257-265 |
| 3 | EE | Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda: Openproof - A Flexible Framework for Heterogeneous Reasoning. Diagrams 2008: 347-349 |
| 2007 | ||
| 2 | EE | Dave Barker-Plummer, John Etchemendy: A computational architecture for heterogeneous reasoning. J. Exp. Theor. Artif. Intell. 19(3): 195-225 (2007) |
| 1988 | ||
| 1 | John Etchemendy: Tarski on Truth and Logical Consequence. J. Symb. Log. 53(1): 51-79 (1988) | |
| 1 | Dave Barker-Plummer | [2] [3] [4] |
| 2 | Richard Cox | [4] |
| 3 | Robert Dale | [4] |
| 4 | Albert Liu | [3] |
| 5 | Michael Murray | [3] |
| 6 | Nik Swoboda | [3] |