Katalog der Deutschen Nationalbibliothek

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 Mittwoch, 22. Mai 2024: Die Deutsche Nationalbibliothek in Leipzig ist wegen eines Betriebsausflug geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind bis 18 Uhr geöffnet. // Wednesday, 22 May 2024: The German National Library in Leipzig will be closed due to a staff outing. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 
 


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

1 - 10 von 173
<< < > >>


Online Ressourcen 1 Context-Sensitive Description Logics in Dynamic Settings
Tirtarasa, Satyadharma. - Dresden : Technische Universität Dresden, 2024
Online Ressource
Online Ressourcen 2 Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Baader, Franz. - Dresden : Technische Universität Dresden, 2024
Online Ressource
Online Ressourcen 3 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 4 Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases
Baader, Franz. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
Online Ressource
Online Ressourcen 5 Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems
Baader, Franz. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
Online Ressource
Online Ressourcen 6 A finite basis for the set of EL-implications holding in a finite model
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
Online Ressource
Online Ressourcen 7 A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
Online Ressource
Online Ressourcen 8 A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
Online Ressource
Online Ressourcen 9 A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
Online Ressource
Online Ressourcen 10 A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics
Baader, Franz. - Dresden : Technische Universität Dresden, 2022
Online Ressource


1 - 10 von 173
<< < > >>


E-Mail-IconAdministration