Desmond Fearnley-Sander

	2003
4		Desmond Fearnley-Sander, Timothy Stokes: Varieties of Equality Structures. IJAC 13(4): 463-480 (2003)
	2000
3		Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes: The Kinds of Truth of Geometry Theorems. Automated Deduction in Geometry 2000: 129-142
	1998
2		Desmond Fearnley-Sander: Plane Euclidian Reasoning. Automated Deduction in Geometry 1998: 86-110
	1996
1		Desmond Fearnley-Sander, Timothy Stokes: Area in Grassmann Geometry. Automated Deduction in Geometry 1996: 141-170

Coauthor Index

1	Michael Bulmer	[3]
2	Timothy Stokes	[1] [3] [4]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page