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=958170185



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz http://d-nb.info/958170185
Art des Inhalts Hochschulschrift
Titel Construction and deduction in type theories / Martin Strecker
Person(en) Strecker, Martin (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 1999
Umfang/Format 196 S. ; 21 cm
Andere Ausgabe(n) Online-Ausg.: Strecker, Martin: Construction and deduction in type theories
Hochschulschrift Ulm, Univ., Diss., 1999
Schlagwörter Typentheorie
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: H 1999 A 3780
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: H 1999 A 3780
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration