Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Dienstag, 26. September, 8 Uhr bis 10 Uhr stehen folgende Anwendungen und Dienste wegen Wartungsarbeiten nicht zur Verfügung: Anmeldung und Recherche im Portal, Login ins WLAN, Benutzungskonto, Nutzung und Ablieferung von Netzpublikationen, WebDewey Deutsch. Die Bestellung von Medien ist nur über die Information oder die Medienausleihe möglich. // The following applications and services will not be available from 8:00 to 10:00 on Tuesday, 26 September due to maintenance work: portal log-in and searches, Wi-Fi log-in, user accounts, use and delivery of online publications, WebDewey Deutsch. It will only be possible to order media via the Information or Issues desks.
 
 

Ergebnis der Suche nach: idn=1106382153



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/1106382153
Titel Types, Abstraction and Parametric Polymorphism in Higher-Order Logic / Ondřej Kunčar. Betreuer: Tobias Nipkow. Gutachter: Lawrence C. Paulson ; Tobias Nipkow
Person(en) Kunčar, Ondřej (Verfasser)
Nipkow, Tobias (Akademischer Betreuer)
Paulson, Lawrence C. (Gutachter)
Nipkow, Tobias (Gutachter)
Verlag München : Universitätsbibliothek der TU München
Zeitliche Einordnung Erscheinungsdatum: 2016
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, München, Technische Universität München, 2016
Persistent Identifier URN: urn:nbn:de:bvb:91-diss-20160408-1285267-1-5
URL http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20160408-1285267-1-5 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen Langzeitarchivierung gewährleistet
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration