Introduction to Computational Logic

Prof. Gert Smolka

Timetable

Title Type Location Serial Start End All Day
Coq WarmUp Tutorial 15.04.21 15.04.21 No 
Tutorial Tutorial 7 22.04.21 22.04.21 No 
Tutorial Tutorial 7 29.04.21 29.04.21 No 
Tutorial Tutorial 7 06.05.21 06.05.21 No 
Tutorial Tutorial 7 20.05.21 20.05.21 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.