Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

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

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

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

11 - 20 von 189

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte

Alle Normdaten

Personen (1)

Aktionen