Introduction to Computational Logic

Prof. Gert Smolka

Timetable

Title Type Location Serial Start End All Day
Tutorial 1 Tutorial SR 016 4 01.07.25 01.07.25 No 
Office Hour Office Hour E1 3, Rm 525 3 30.06.25 30.06.25 No 
Lecture Lecture HS 002 1 27.06.25 27.06.25 No 
Lecture Lecture HS 002 1 25.06.25 25.06.25 No 
Test Test HS 002 2 25.06.25 25.06.25 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.