John Etchemendy

	2008
5		John Etchemendy: Heterogeneous Reasoning. Diagrams 2008: 1
4		Richard Cox, Robert Dale, John Etchemendy, Dave Barker-Plummer: Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic. Diagrams 2008: 257-265
3		Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda: Openproof - A Flexible Framework for Heterogeneous Reasoning. Diagrams 2008: 347-349
	2007
2		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)

Coauthor Index

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]