Timetable
- Event Category
- Office Hours
- Title
- Special Office Hour
- Location
- E1 3, Room 525
- Details
- Special Office Hour for everybody who needs help with installing Coq.
- Starttime
- 22.04.2015 14:15
- Endtime
- 22.04.2015 15:00
- the whole day
- No
Introduction to Computational Logic Prof. Gert Smolka, Tobias Tebbi