Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Optimised Reasoning for SHIQ."
Link zu diesem Datensatz | https://d-nb.info/1258349655 |
Titel | Optimised Reasoning for SHIQ / Ian Horrocks, Ulrike Sattler |
Person(en) |
Horrocks, Ian (Verfasser) Sattler, Ulrike (Verfasser) |
Verlag | Dresden : Technische Universität Dresden |
Zeitliche Einordnung | Erscheinungsdatum: 2022 |
Umfang/Format | Online-Ressource |
Persistent Identifier | URN: urn:nbn:de:bsz:14-qucosa2-789975 |
URL | (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Beziehungen | LTCS-Report ; 01-08 |
Anmerkungen |
In: Aachen : Aachen University of Technology In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040 |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |