Quelltext der Seite Automatentheorie

{{Forschungsgruppe
|Name EN=Automata Theory
|Beschreibung DE=Herr Prof. Dr.-Ing. Franz Baader wurde 2002 auf die Professur für Automatentheorie berufen. Seine Professur bietet grundlegende und vertiefende Lehrveranstaltungen für verschiedene Studiengänge an, und forscht auf den Gebieten Deduktion, Wissensrepräsentation, sowie Rechnen mit Molekülen.

Weitere Informationen: https://lat.inf.tu-dresden.de
|Beschreibung EN=Prof. Dr.-Ing. Franz Baader was appointed to the chair of automata theory in 2002. His chair offers basic and in-depth courses for various degree programmes, and conducts research in the areas of deduction, knowledge representation, as well as computing with molecules.

Further information: https://lat.inf.tu-dresden.de
|Forschungsgruppenleiter=Franz Baader
|Sekretariat Mail=kerstin.achtruth@tu-dresden.de
|Bild=LAT group photo 2025.jpg
|Externe Seite=https://lat.inf.tu-dresden.de
|Ehemalige Forschungsgruppe=0
}}