TIE0329 Automated reasoning, 4 ECTS, Lectured in English [home page]
General course information | Participating in events
Study groups
Group | Next meeting | Location | Supervisor | |
---|---|---|---|---|
Lecture | (You have not registered) | |||
Exercise group | (You have not registered) | |||
Exam | (You have not registered) |
Registration for groups
Exercise group
Group | Next meeting | |
---|---|---|
Demo | (No more meetings) |