Katalog der Deutschen Nationalbibliothek


Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Kataloge/Sammlungen:  Hochschulschriften
Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Am Dienstag, den 11.06.2024 ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsausflugs geschlossen.
 
 
 


Ergebnis der Suche nach: tit all "Description Logics."
im Bestand: Gesamter Bestand

1 - 10 von 48
<< < > >>


Online Ressourcen 1 Context-Sensitive Description Logics in Dynamic Settings
Tirtarasa, Satyadharma. - Dresden : Technische Universität Dresden, 2024
Online Ressource
Online Ressourcen 2 Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques
De Bortoli, Filippo. - Dresden : Technische Universität Dresden, 2023
Online Ressource
Online Ressourcen 3 Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Rydval, Jakub. - Dresden : Technische Universität Dresden, 2022
Online Ressource
Online Ressourcen 4 Closed-World Semantics for Query Answering in Temporal Description Logics
Forkel, Walter. - Dresden : Technische Universität Dresden, 2021
Online Ressource
Online Ressourcen 5 Ontology-Mediated Querying with Horn Description Logics
Sabellek, Leif. - Bremen : Staats- und Universitätsbibliothek Bremen, 2019
Online Ressource
Online Ressourcen 6 Quantitative Variants of Language Equations and their Applications to Description Logics
Marantidis, Pavlos. - Dresden : Technische Universität Dresden, 2019
Online Ressource
Bücher 7 Quantitative variants of language equations and their applications to description logics
Marantidis, Pavlos. - Dresden, September 2019
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 8 Quantitative Methods for Similarity in Description Logics
Ecke, Andreas. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2017
Online Ressource
Online Ressourcen 9 Optimisation of tableau-based reasoning systems for expressive description logics
Steigmiller, Andreas. - Ulm : Universität Ulm, 2016
Online Ressource
Bücher 10 Model and proof theory of constructive ALC
Scheele, Stephan M.. - Bamberg : Univ. of Bamberg Press, 2015
Vorhanden in Leipzig Vorhanden in Frankfurt


1 - 10 von 48
<< < > >>


E-Mail-IconAdministration