Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=959142762
Link zu diesem Datensatz | https://d-nb.info/959142762 |
Art des Inhalts | Hochschulschrift |
Titel | On types and type consistency in logic programming / Gregor Meyer |
Person(en) | Meyer, Gregor (Verfasser) |
Verlag | Berlin : Akad. Verl.-Ges. Aka |
Zeitliche Einordnung | Erscheinungsdatum: 2000 |
Umfang/Format | VI, 176 S. : graph. Darst. ; 21 cm |
Hochschulschrift | Zugl.: Hagen, Fernuniv., Diss., 1999 |
ISBN/Einband/Preis |
978-3-89838-235-9 kart. : DM 52.00 (freier Pr.), sfr 51.00 (freier Pr.), S 409.00 (freier Pr.) 3-89838-235-4 kart. : DM 52.00 (freier Pr.), sfr 51.00 (freier Pr.), S 409.00 (freier Pr.) |
Sprache(n) | Englisch (eng) |
Beziehungen | Dissertationen zur künstlichen Intelligenz ; Bd. 235 |
Schlagwörter |
Logische Programmierung ; Typisierung Logische Programmierung ; Typinferenzsystem |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: 2000 A 43137
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2000 A 43137
Bereitstellung in Leipzig |