Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: nid=131845098



Treffer 1 von 1 < < > <



Personen
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 126 Publikationen
  1. Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
    Baader, Franz. - Dresden : Technische Universität Dresden, 2024
  2. Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases
    Baader, Franz. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
  3. ...
Beteiligt an 40 Publikationen
  1. Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques
    De Bortoli, Filippo. - Dresden : Technische Universität Dresden, 2023
  2. Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
    Rydval, Jakub. - Dresden : Technische Universität Dresden, 2022
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration