Timothy Stokes
发表
Marcel Jackson,
Timothy Stokes,
2009,
Int. J. Algebra Comput..
Timothy Stokes,
2012
.
Timothy Stokes,
2013
.
Timothy Stokes,
Michael Bulmer,
Desmond Fearnley-Sander,
2000,
Automated Deduction in Geometry.
Timothy Stokes,
Desmond Fearnley-Sander,
Desmond Fearnley-Sander,
1996,
Automated Deduction in Geometry.
Timothy Stokes,
Desmond Fearnley-Sander,
2003,
Int. J. Algebra Comput..
Marcel Jackson,
Timothy Stokes,
M. Jackson,
2011,
Int. J. Algebra Comput..
Timothy Stokes,
2011
.
Timothy Stokes,
Michael Bulmer,
2000,
Automated Deduction in Geometry.
Marcel Jackson,
Timothy Stokes,
2006,
Int. J. Algebra Comput..
Timothy Stokes,
2004,
Journal of Automated Reasoning.