Steven Obua
发表
Jacques D. Fleuriot,
Steven Obua,
P. Scott,
2017
.
T. Nipkow,
C. Kaliszyk,
T. Hales,
2018
.
Steven Obua,
2022,
ArXiv.
Tobias Nipkow,
Cezary Kaliszyk,
Josef Urban,
2015,
Forum of Mathematics, Pi.
Mark A. Hillebrand,
Wolfgang J. Paul,
Alexandra Tsyban,
2009,
Ershov Memorial Conference.
David Aspinall,
Steven Obua,
Mark Adams,
2013,
MKM/Calculemus/DML.
Tobias Nipkow,
John Harrison,
Thomas C. Hales,
2009,
Discret. Comput. Geom..
Steven Obua,
Steven Obua,
2006,
RTA.
Steven Obua,
Steven Obua,
2006
.
Tobias Nipkow,
Steven Obua,
T. Nipkow,
2009,
Annals of Mathematics and Artificial Intelligence.
Phil Scott,
Jacques D. Fleuriot,
David Aspinall,
2015,
CICM.
Steven Obua,
Steven Obua,
2005,
TPHOLs.
Phil Scott,
Jacques D. Fleuriot,
David Aspinall,
2014,
ArXiv.
Steven Obua,
Steven Obua,
2012,
ArXiv.
T. Nipkow,
T. Hales,
J. Harrison,
2009,
Discret. Comput. Geom..
Phil Scott,
Jacques D. Fleuriot,
Steven Obua,
2016,
ArXiv.