Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1104840219
Link zu diesem Datensatz | https://d-nb.info/1104840219 |
Art des Inhalts | Hochschulschrift |
Titel | Optimisation of tableau-based reasoning systems for expressive description logics / Andreas Steigmiller |
Person(en) | Steigmiller, Andreas (Verfasser) |
Verlag | Ulm : Universität Ulm |
Zeitliche Einordnung | Erscheinungsdatum: 2016 |
Umfang/Format | Online-Ressource |
Hochschulschrift | Dissertation, Ulm, Universität Ulm, 2016 |
Persistent Identifier |
URN: urn:nbn:de:bsz:289-oparu-4042-6 DOI: 10.18725/OPARU-4003 |
URL | http://nbn-resolving.de/urn:nbn:de:bsz:289-oparu-4042-6 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Schlagwörter | Logik ; OWL <Informatik> ; Tableau <Logik> ; Optimierung |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |
Exemplarbezogene Daten stehen derzeit nicht zur Verfügung. Die Online-Bestellung von Medien ist deshalb nicht möglich.