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

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

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.

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

1 - 10 von 189

	1	Complexity and Expressive Power of Description Logics with Numerical Constraints De Bortoli, Filippo. - Dresden : Technische Universität Dresden, 2025
	2	Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count Baader, Franz. - Dresden : Technische Universität Dresden, 2025
	3	The Unification Type of an Equational Theory May Depend on the Instantiation Preorder Baader, Franz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	4	Context-Sensitive Description Logics in Dynamic Settings Tirtarasa, Satyadharma. - Dresden : Technische Universität Dresden, 2024
	5	Inconsistency- and Error-Tolerant Reasoning w.r.t. Optimal Repairs of EL⊥ Ontologies Baader, Franz. - Dresden : Technische Universität Dresden, 2024
	6	On the Abstract Expressive Power of Description Logics with Concrete Domains Baader, Franz. - Dresden : Technische Universität Dresden, 2024
	7	On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems Baader, Franz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
	8	On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems Baader, Franz. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
	9	The Infimum Problem as a Generalization of the Inclusion Problem for Automata Borgwardt, Stefan. - Dresden : Technische Universität Dresden, 2024
	10	Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies Baader, Franz. - Dresden : Technische Universität Dresden, 2024