Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die mehr als 1,3 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Die Deutsche Nationalbibliothek öffnet am 15. März 2021 unter Beachtung der geltenden Hygiene- und Abstandsregelungen ihre Lesesäle für den eingeschränkten Benutzungsbetrieb. Für den Zutritt ist eine Reservierungsbestätigung zwingend notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus.
 
 

Ergebnis der Suche nach: "" and "urn:nbn:de:bvb:91"

Zurück zur Trefferliste


Treffer 1 von 13431 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/1228536139
Titel Asymptotic Reasoning in a Proof Assistant / Manuel Eberl ; Gutachter: Tobias Nipkow, Sander R. Dahmen ; Betreuer: Tobias Nipkow
Person(en) Eberl, Manuel (Verfasser)
Nipkow, Tobias (Akademischer Betreuer)
Nipkow, Tobias (Gutachter)
Dahmen, Sander R. (Gutachter)
Verlag München : Universitätsbibliothek der TU München
Zeitliche Einordnung Erscheinungsdatum: 2021
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, München, Technische Universität München, 2021
Persistent Identifier URN: urn:nbn:de:bvb:91-diss-20210121-1554821-1-2
URL http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20210121-1554821-1-2 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Evidence* (*maschinell ermittelt)
DDC-Notation 511.3 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 510 Mathematik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 13431
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration