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
Lecture
| Group | Next meeting | |
|---|---|---|
| TIE329 Lectures (spring 2004) | (No more meetings) |