- Teacher: Sidhant Bhavnani
- Teacher: Lixin Du
- Teacher: David Kattermann
- Teacher: Manuel Kauers
- Teacher: Xiuyun Li
- Teacher: Martina Seidl
- Teacher: Isaac Wood
338.055, VL Computational Logics for AI, Martina Seidl / Manuel Kauers, 2026W
Enrolment options
Guests cannot access this course. Please log in.