Course information | 338.055, VL Computational Logics for AI, Martina Seidl / Manuel Kauers, 2026W | JKU Moodle

Home All courses

JavaScript is disabled in your browser.
Many features of Moodle will be not usable or will appear to be broken.
Please enable JavaScript for the full Moodle experience.

338.055, VL Computational Logics for AI, Martina Seidl / Manuel Kauers, 2026W

Teacher: Sidhant Bhavnani
Teacher: Lixin Du
Teacher: David Kattermann
Teacher: Manuel Kauers
Teacher: Xiuyun Li
Teacher: Martina Seidl
Teacher: Isaac Wood

Johannes Kepler Universität Linz