Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=961917814
Link zu diesem Datensatz | https://d-nb.info/961917814 |
Art des Inhalts | Hochschulschrift |
Titel | Non-standard inferences in description logics / Ralf Küsters |
Person(en) | Küsters, Ralf (Verfasser) |
Verlag | Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer |
Zeitliche Einordnung | Erscheinungsdatum: 2001 |
Umfang/Format | X, 250 S. : graph. Darst. ; 24 cm |
Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Küsters, Ralf: Non-standard inferences in description logics |
Hochschulschrift | Zugl.: Aachen, Techn. Hochsch., Diss., 2000 |
ISBN/Einband/Preis |
978-3-540-42397-3 kart. 3-540-42397-4 kart. |
Sprache(n) | Englisch (eng) |
Beziehungen | Lecture notes in computer science ; Vol. 2100 : Lecture notes in artificial intelligence |
Anmerkungen | Literaturverz. S. 235 - 244 |
Schlagwörter | Terminologische Logik ; Nonstandard-Logik ; Matching |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 27 Mathematik |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: 2001 A 48823 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2001 A 48823 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |