Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

eingeschränkt auf
- Standorte:	Leipzig

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

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

1 - 10 von 166

	1	Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains Baader, Franz. - 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	Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases Baader, Franz. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
	4	Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems Baader, Franz. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
	5	A finite basis for the set of EL-implications holding in a finite model Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	6	A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	7	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
	8	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
	9	A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	10	A New n-ary Existential Quantifier in Description Logics Baader, Franz. - Dresden : Technische Universität Dresden, 2022

1 - 10 von 166

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte > Leipzig (166)

Aktionen