• 338.110, VL Formal Models in AI, Mena Leemhuis, 2026W (2026W338110)
  • 338.111, UE Formal Models in AI, Paulus Seip, 2026W (2026W338111)
  • 338.112, UE Formal Models in AI, Peter Pfeiffer, 2026W (2026W338112)
  • 338.113, UE Formal Models in AI, Mena Leemhuis, 2026W (2026W338113)
  • 338.114, UE Formal Models in AI, Peter Pfeiffer, 2026W (2026W338114)
  • 338.115, UE Formal Models in AI, Mena Leemhuis, 2026W (2026W338115)