(1 - 4 von 6
)
The Formalization of Mathematics — Mathematik
www.mathematics.uni-bonn.de
Organizer: Thomas Hales (Pittsburgh), Peter Koepke (Bonn) Topics: Algebra, Number Theory and Logic Institute: Hausdorff Center for Mathematics (HCM) Research Areas: C3: Combinatorial optimization, complexity, and chip design
sortiert nach Relevanz / Datum