Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum
Suchformular zurücksetzen
Expertensuche
?
eingeschränkt auf
- Kataloge/Sammlungen:
Hochschulschriften
Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online!
→ Zur Betaversion des neuen DNB-Katalogs
Noch nicht die passende Literatur gefunden?
→ Book a Librarian
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
Datum (neuestes zuerst)
Datum (ältestes zuerst)
Titel (A-Z)
Titel (Z-A)
Name (A-Z)
Name (Z-A)
Interne ID-Nr. aufsteigend
Interne ID-Nr. absteigend
1
Context-Sensitive Description Logics in Dynamic Settings
Tirtarasa, Satyadharma. - Dresden : Technische Universität Dresden, 2024
2
Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques
De Bortoli, Filippo. - Dresden : Technische Universität Dresden, 2023
3
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Rydval, Jakub. - Dresden : Technische Universität Dresden, 2022
4
Closed-World Semantics for Query Answering in Temporal Description Logics
Forkel, Walter. - Dresden : Technische Universität Dresden, 2021
5
Ontology-Mediated Querying with Horn Description Logics
Sabellek, Leif. - Bremen : Staats- und Universitätsbibliothek Bremen, 2019
6
Quantitative Variants of Language Equations and their Applications to Description Logics
Marantidis, Pavlos. - Dresden : Technische Universität Dresden, 2019
7
Quantitative variants of language equations and their applications to description logics
Marantidis, Pavlos. - Dresden, September 2019
8
Quantitative Methods for Similarity in Description Logics
Ecke, Andreas. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2017
9
Optimisation of tableau-based reasoning systems for expressive description logics
Steigmiller, Andreas. - Ulm : Universität Ulm, 2016
10
Model and proof theory of constructive ALC
Scheele, Stephan M.. - Bamberg : Univ. of Bamberg Press, 2015
1 - 10 von 48
Alle Materialarten
Bücher (21)
Online Ressourcen (27)
Alle Kataloge/Sammlungen
>
Hochschulschriften (48)
Alle Standorte
Frankfurt (48)
Leipzig (48)
Online (frei zugänglich) (26)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration