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

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

1 - 10 von 188

	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

1 - 10 von 188

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte > Leipzig (188)

Aktionen

Administration