263-4630-00L Computer-Aided Modelling and Reasoning
|Semester||Autumn Semester 2018|
|Lecturers||to be announced|
|Periodicity||yearly recurring course|
|Course||Does not take place this semester.|
|Language of instruction||English|
|Comment||Takes place next spring semester (SS19).|
In 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.
|263-4630-00 P||Computer-Aided Modelling and Reasoning|
Does not take place this semester.
|7 hrs||to be announced|