Mar González, Maria del (Hrsg.)
Yang, Paul C. (Hrsg.)
Gambino, Nicola (Hrsg.)
Kock, Joachim (Hrsg.)
Extended Abstracts Fall 2013
Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-319-21284-5 |
|---|---|
| Seitenzahl | 110 S. |
| Kopierschutz | Digital Rights Management |
| Dateigröße | 1475 Kbytes |