Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: dcs=006.3*



Treffer 497 von 2819 < < > <



Bücher
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




Treffer 497 von 2819
< < > <


E-Mail-IconAdministration