Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=006.3*
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1058504800 |
Titel | Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures / Andreas Steigmiller ; Birte Glimm ; Thorsten Liebig. Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik |
Person(en) |
Steigmiller, Andreas (Verfasser) Glimm, Birte (Verfasser) Liebig, Thorsten (Verfasser) |
Verlag | Ulm : Univ., Fak. für Ingenieurwiss. und Informatik |
Zeitliche Einordnung | Erscheinungsdatum: 2014 |
Umfang/Format | 54 S. ; 30 cm |
Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures |
ISBN/Einband/Preis | kart. |
Sprache(n) | Englisch (eng) |
Beziehungen | Ulmer Informatik-Berichte ; Nr. 2014,02 |
Anmerkungen | Literaturangaben |
Schlagwörter | Tableau <Logik> ; Terminologische Logik |
DDC-Notation | 006.332 [DDC22ger] |
Sachgruppe(n) | 004 Informatik |
Frankfurt |
Signatur: 2014 B 29584 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2014 B 33037 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
