GdI-Sem-B (Computational Semantics of Natural Languages)
- Moderator/in: Gabriele Bauer
- Moderator/in: Luke Burke
- Moderator/in: Michael Mendler
Semester: 2023/24 Wintersemester
GdI-MTL: Modal and Temporal Logic
- Moderator/in: Gabriele Bauer
- Moderator/in: Luke Burke
- Moderator/in: Michael Mendler
Semester: 2023/24 Wintersemester