Suchergebnis

zu den Filteroptionen
Suche nach: Autor / Beteiligte = Hales, Thomas C. und Sammlung = ULB Düsseldorf
  • Titelblatt
    Dense sphere packings
    a blueprint for formal proofs
    Hales, Thomas C.
    Cambridge [u.a.] : Cambridge Univ. Pr., 2012