Introduction to Computational Logic

Prof. Gert Smolka

Timetable

Title Type Location Serial Start End All Day
Tutorial Tutorial 9 15.07.21 15.07.21 No 
Tutorial Tutorial 9 22.07.21 22.07.21 No 
Coq WarmUp Tutorial 15.04.21 15.04.21 No 
Office Hour Office Hour 5 20.07.21 20.07.21 No 
Tutorial Tutorial 9 06.05.21 06.05.21 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.