Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Coquand, Thierry, Lombardi, Henri
Format: Preprint
Veröffentlicht: 2015
Schlagworte:
Online-Zugang:https://arxiv.org/abs/1507.02880
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!