Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "131845098"

Treffer 189 von 189


Link zu diesem Datensatz	https://d-nb.info/gnd/131845098
Person	Baader, Franz
Geschlecht	männlich
Andere Namen	Baader, F. Baader, Frans (falsche Namensform)
Quelle	LCAuth
Zeit	Lebensdaten: 1959-
Land	Deutschland (XA-DE)
Geografischer Bezug	Wirkungsort: Aachen (1993-2001) Wirkungsort: Dresden (2001-)
Beruf(e)	Informatiker
Weitere Angaben	Dt. Informatiker; von 1993 bis 2001 als außerordentlicher Prof. für Theoretische Informatik an der RWTH Aachen tätig; seit 2001 Prof. für Automatentheorie am Institut für Theoretische Informatik an der TU Dresden
Systematik	30p Personen zu Informatik, Datenverarbeitung
Typ	Person (piz)
Autor von	142 Publikationen Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count Baader, Franz. - Dresden : Technische Universität Dresden, 2025 The Unification Type of an Equational Theory May Depend on the Instantiation Preorder Baader, Franz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025 ...
Beteiligt an	46 Publikationen Complexity and Expressive Power of Description Logics with Numerical Constraints De Bortoli, Filippo. - Dresden : Technische Universität Dresden, 2025 Context-Sensitive Description Logics in Dynamic Settings Tirtarasa, Satyadharma. - Dresden : Technische Universität Dresden, 2024 ...

Treffer 189 von 189