Skip to main content
JKU Moodle
  • Home
  • All courses
  • More
English ‎(en)‎
Deutsch ‎(de)‎ English ‎(en)‎ Español - Internacional ‎(es)‎ Français ‎(fr)‎
Log in
JKU Moodle
Home All courses
  1. Interdisziplinär
  2. Institut für Symbolic Artificial Intelligence
  3. Summary

Course info

338.010, VO Formal Models, Martina Seidl, 2022S

  • Teacher: Maximilian Heisinger
  • Teacher: Daniela Kaufmann
  • Teacher: Sibylle Möhle-Rotondi
  • Teacher: Andreas Plank
  • Teacher: Adrian Rebola Pardo
  • Teacher: Florian Schrögendorfer
  • Teacher: Martina Seidl

Policies
Powered by Moodle
Knowledge Base for Students
Knowledge Base for Employees
Johannes Kepler Universität Linz
Impressum