Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Normdaten:	Personen

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"

Treffer 1 von 1


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 1 von 1

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

Nachweis der Quelle

Zugehöriger Artikel in Wikipedia

Administration