Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=006.3*
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1025521390 |
Art des Inhalts | Hochschulschrift |
Titel | A statically typed logic context query language with parametric polymorphism and subtyping / vorgelegt von Tobias Rho |
Person(en) | Rho, Tobias (Verfasser) |
Zeitliche Einordnung | Erscheinungsdatum: 2012 |
Umfang/Format | XI, 179 S. : Ill., graph. Darst. ; 21 cm |
Hochschulschrift | Bonn, Univ., Diss., 2012 (Nicht für den Austausch) |
Sprache(n) | Englisch (eng) |
DDC-Notation | 005.117 [DDC22ger]; 004.654 [DDC22ger]; 006.332 [DDC22ger] |
Sachgruppe(n) | 004 Informatik |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: 2012 A 60207
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2012 A 78126
Bereitstellung in Leipzig |
