Katalog der Deutschen Nationalbibliothek

Expertensuche ?

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

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

11 - 20 von 189

	11	Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains Baader, Franz. - Dresden : Technische Universität Dresden, 2024
	12	Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries Xu, Chao. - Dresden : Technische Universität Dresden, 2023
	13	Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques De Bortoli, Filippo. - Dresden : Technische Universität Dresden, 2023
	14	Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases Baader, Franz. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
	15	Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems Baader, Franz. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
	16	A finite basis for the set of EL-implications holding in a finite model Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	17	A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies Baader, Franz. - Dresden : Technische Universität Dresden, 2022
	18	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
	19	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
	20	A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics Baader, Franz. - Dresden : Technische Universität Dresden, 2022