Automatentheorie: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Keine Bearbeitungszusammenfassung |
Francesco Kriegel (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 2: | Zeile 2: | ||
|Name EN=Automata Theory | |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. | |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. | |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 | |Forschungsgruppenleiter=Franz Baader | ||
|Sekretariat Mail=kerstin.achtruth@tu-dresden.de | |Sekretariat Mail=kerstin.achtruth@tu-dresden.de | ||
|Bild=LAT group photo | |Bild=LAT group photo 2025.jpg | ||
|Externe Seite=https://lat.inf.tu-dresden.de | |||
|Ehemalige Forschungsgruppe=0 | |Ehemalige Forschungsgruppe=0 | ||
}} | }} | ||
Version vom 25. März 2025, 18:50 Uhr
Automatentheorie
- Kontaktperson Franz Baader
- Sekretariat kerstin.achtruth@tu-dresden.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
