Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

eingeschränkt auf
- Kataloge/Sammlungen:	Hochschulschriften

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

1 - 9 von 9

	1	Complexity and Expressive Power of Description Logics with Numerical Constraints De Bortoli, Filippo. - Dresden : Technische Universität Dresden, 2025
	2	Context-Sensitive Description Logics in Dynamic Settings Tirtarasa, Satyadharma. - Dresden : Technische Universität Dresden, 2024
	3	The Infimum Problem as a Generalization of the Inclusion Problem for Automata Borgwardt, Stefan. - Dresden : Technische Universität Dresden, 2024
	4	Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques De Bortoli, Filippo. - Dresden : Technische Universität Dresden, 2023
	5	Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains Rydval, Jakub. - Dresden : Technische Universität Dresden, 2022
	6	Closed-World Semantics for Query Answering in Temporal Description Logics Forkel, Walter. - Dresden : Technische Universität Dresden, 2021
	7	Context Reasoning for Role-Based Models Böhme, Stephan. - Dresden : Technische Universität Dresden, 2018
	8	Verification of Golog Programs over Description Logic Actions Zarrieß, Benjamin. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2018
	9	Unifikation und Reduktionssysteme für Halbgruppenvarietäten Baader, Franz. - Erlangen : Inst. für Math. Maschinen und Datenverarbeitung (Informatik), 1989

1 - 9 von 9

Alle Materialarten

Alle Kataloge/Sammlungen > Hochschulschriften (9)

Alle Standorte

Aktionen