Skip to main content
Side panel
Home
All courses
More
English (en)
Deutsch (de)
English (en)
Español - Internacional (es)
Français (fr)
Log in
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.
Interdisziplinär
Institut für Symbolic Artificial Intelligence
Summary
Course info
338.010, VO Formal Models, Martina Seidl, 2023S
Teacher:
Nils Froleyks
Teacher:
Maximilian Heisinger
Teacher:
Simone Heisinger
Teacher:
Andreas Plank
Teacher:
Adrian Rebola Pardo
Teacher:
Martina Seidl
Johannes Kepler Universität Linz
Impressum