Katalog der Deutschen Nationalbibliothek

Neuigkeiten Vom 24. Dezember 2019 bis 1. Januar 2020 ist die Deutsche Nationalbibliothek an beiden Standorten geschlossen. Die Ausstellung „Exil. Erfahrung und Zeugnis“ des Deutschen Exilarchivs 1933–1945 in Frankfurt am Main ist in dieser Zeit ebenfalls geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums in Leipzig sind vom 27. bis 29. Dezember 2019 von 10 bis 18 Uhr für Ihren Besuch geöffnet. Die Präsentation „Fonts for Freedom“ ist geschlossen.
 
Neuigkeiten The German National Library will be closed from 24 December 2019 to 1 January 2020. The exhibition „Exile. Experience and testimony“ of the German Exile Archive 1933–1945 in Frankfurt am Main will also be closed. The exhibitions of the German Museum of Books and Writing in Leipzig will open from 10:00 to 18:00 on 27 to 29 December 2019. The presentation „Fonts for Freedom“ will be closed.
 
Neuigkeiten Der Zugriff auf die archivierten Netzpublikationen ist zur Zeit nur eingeschränkt möglich. Wir bitten um Ihr Verständnis.
 
 

Ergebnis der Suche nach: idn=1015469973



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/1015469973
Art des Inhalts Hochschulschrift
Titel Construction and deduction in type theories / Martin Strecker
Person(en) Strecker, Martin (Verfasser)
Verlag Ulm : Universität Ulm. Fakultät für Informatik
Zeitliche Einordnung Erscheinungsdatum: 1999
Umfang/Format Online-Ressource
Andere Ausgabe(n) Druckausg.: Strecker, Martin: Construction and deduction in type theories
Hochschulschrift Ulm, Universität Ulm, Diss., 1999
Persistent Identifier URN: urn:nbn:de:bsz:289-vts-2596
URL http://vts.uni-ulm.de/docs/1999/259/vts_259.pdf (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Typentheorie
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration