Thomas C. Hales
发表
Thomas C. Hales,
2004,
TPHOLs.
Thomas C. Hales,
Alexey Solovyev,
T. Hales,
2013,
NASA Formal Methods.
Thomas C. Hales,
T. Hales,
1999,
Discret. Comput. Geom..
Thomas C. Hales,
T. Hales,
2010,
ICMS.
Thomas C. Hales,
Alexey Solovyev,
2011,
Calculemus/MKM.
Thomas C. Hales,
1997,
Discret. Comput. Geom..
Thomas C. Hales,
T. Hales,
2006,
Discret. Comput. Geom..
Thomas C. Hales,
T. Hales,
2010,
ICMS.
Thomas C. Hales,
T. Hales,
2014,
ArXiv.
Thomas C. Hales,
1997,
Discret. Comput. Geom..
Thomas C. Hales,
T. Hales,
2013,
Turing's Legacy.
Tobias Nipkow,
John Harrison,
Thomas C. Hales,
2009,
Discret. Comput. Geom..
Thomas C. Hales,
2013,
PxTP@CADE.
Tobias Nipkow,
Cezary Kaliszyk,
Josef Urban,
2015,
Forum of Mathematics, Pi.
Thomas C. Hales,
T. Hales,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Thomas C. Hales,
T. Hales,
1993,
Comb..
Thomas C. Hales,
T. Hales,
2007,
Am. Math. Mon..
Thomas C. Hales,
T. Hales,
2006,
Discret. Comput. Geom..
Thomas C. Hales,
2006,
Automated Deduction in Geometry.
Thomas C. Hales,
Alexey Solovyev,
2012
.
Thomas C. Hales,
T. Hales,
2006,
Discret. Comput. Geom..
Thomas C. Hales,
2001,
SCG '01.
Thomas C. Hales,
T. Hales,
2014
.
Thomas C. Hales,
2006,
Discret. Comput. Geom..
Thomas C. Hales,
Samuel P. Ferguson,
2006,
Discret. Comput. Geom..
Thomas C. Hales,
T. Hales,
2005,
Mathematics, Algorithms, Proofs.
Thomas C. Hales,
Sean McLaughlin,
T. Hales,
1998,
math/9811079.
Thomas C. Hales,
Joshua J. Roering,
Eugene D. Humphreys,
2005
.
Thomas C. Hales,
1998
.
Thomas C. Hales,
T. Hales,
1998
.
Thomas C. Hales,
2003
.
Thomas C. Hales,
2011
.
Thomas C. Hales,
2002
.
Thomas C. Hales,
T. Hales,
2007
.
Thomas C. Hales,
1998
.