Automatentheorie: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Francesco Kriegel (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung Markierung: Zurückgesetzt |
Francesco Kriegel (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung |
||
| Zeile 7: | Zeile 7: | ||
Further information: https://lat.inf.tu-dresden.de | Further information: https://lat.inf.tu-dresden.de | ||
|Forschungsgruppenleiter= | |Forschungsgruppenleiter=Franz Baader | ||
|Sekretariat Mail=kerstin.achtruth@tu-dresden.de | |Sekretariat Mail=kerstin.achtruth@tu-dresden.de | ||
|Bild=LAT group photo 2025.jpg | |Bild=LAT group photo 2025.jpg | ||
Aktuelle Version vom 25. März 2025, 18:56 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
