Books listed by ISBN
>
Cambridge University Press
> Thomas Hales
Thomas Hales
title
ISBN-13
(ISBN-10)
year of publication
Dense Sphere Packings: A Blueprint for Formal Proofs
978-O-521-6177O-3
(O-521-6177O-7)
2012
T.H.
·
Thomas C. Hales
·
Thomas H
Thomas Halinka