263-4630-00L Computer-Aided Modelling and Reasoning
Semester | Spring Semester 2019 |
Lecturers | C. Sprenger, D. Traytel |
Periodicity | yearly recurring course |
Language of instruction | English |
Comment | 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. |
Number | Title | Hours | Lecturers | ||||
---|---|---|---|---|---|---|---|
263-4630-00 P | Computer-Aided Modelling and Reasoning | 7 hrs |
| C. Sprenger, D. Traytel |