The spring semester 2021 will certainly take place online until Easter. Exceptions: Courses that can only be carried out with on-site presence. Please note the information provided by the lecturers.

263-4630-00L  Computer-Aided Modelling and Reasoning

SemesterSpring Semester 2019
LecturersC. Sprenger, D. Traytel
Periodicityyearly recurring course
Language of instructionEnglish
CommentIn the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum.


NumberTitleHoursLecturers
263-4630-00 PComputer-Aided Modelling and Reasoning7 hrs
Fri09-13HG G 26.3 »
C. Sprenger, D. Traytel