Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Wegen Wartungsarbeiten ist vom 12. bis 14. Januar 2026 der Museumslesesaal, sowie vom 14. bis 16. Januar 2026 der Musiklesesaal geschlossen. // Due to maintenance work the museum reading room will be closed from 12 to 14 January 2026 and the music reading room from 14 to 16 January 2026.
 
 
 


Ergebnis der Suche nach: "131845098"
im Bestand: Gesamter Bestand

21 - 30 von 189
<< < > >>


Online Ressourcen 21 A New n-ary Existential Quantifier in Description Logics
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
Online Ressource
Online Ressourcen 22 Adding Causal Relationships to DL-based Action Formalisms
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
Online Ressource
Online Ressourcen 23 Adding Threshold Concepts to the Description Logic EL
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
Online Ressource
Online Ressourcen 24 An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
Online Ressource
Online Ressourcen 25 Approximate Unification in the Description Logic FL₀
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
Online Ressource
Online Ressourcen 26 Approximately Solving Set Equations
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
Online Ressource
Online Ressourcen 27 Approximation in Description Logics
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
Online Ressource
Online Ressourcen 28 Axiom Pinpointing in General Tableaux
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
Online Ressource
Online Ressourcen 29 Blocking and Pinpointing in Forest Tableaux
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
Online Ressource
Online Ressourcen 30 Combination of Compatible Reduction Orderings that are Total on Ground Terms
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
Online Ressource


21 - 30 von 189
<< < > >>


E-Mail-IconAdministration