Formalizing cartan geometry in modal homotopy type theory / von Felix Wellen
Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Verlag: Karlsruhe : KIT-Bibliothek, [2017]Beschreibung: 1 Online-Ressource (95 Seiten) : IllustrationenGenre/Form: DDC-Klassifikation:- 510
Dieser Titel hat keine Exemplare