Introduction to Computational Logic

Prof. Gert Smolka

Timetable

Title Type Location Serial Start End All Day
Office Hour Office Hour E1 3, Rm 525 3 16.06.25 16.06.25 No 
Test Test HS 002 2 30.04.25 30.04.25 No 
Test Test HS 002 2 23.04.25 23.04.25 No 
Test Test HS 002 2 16.04.25 16.04.25 No 
Test Test HS 002 2 02.07.25 02.07.25 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.