Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "{{{1}}}"
Treffer 1613 von 2309
|
|
| Link zu diesem Datensatz | https://d-nb.info/970086490 |
| Art des Inhalts | Hochschulschrift |
| Titel | Elaboration and erasure in type theory / Marco Luther |
| Person(en) | Luther, Marko (Verfasser) |
| Zeitliche Einordnung | Erscheinungsdatum: 2003 |
| Umfang/Format | 1 CD-R ; 12 cm + Beil. ([1] Bl.) |
| Hochschulschrift | Ulm, Univ., Diss., 2003 |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | Titel auf der Beil. |
| Schlagwörter | Typentheorie ; Spezifikationssprache ; Automatisches Beweisverfahren ; CD-ROM |
| Sachgruppe(n) | 004 Informatik |
| Frankfurt |
Signatur: 2005 CRA 7191
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2004 CRA 436
Bereitstellung in Leipzig |
Treffer 1613 von 2309
Administration
