en | de

Machine Learning for Theorem Proving

master program

VO2  SS 2018  703819

Lecturer

room consultation hours
VO Cezary Kaliszyk 3M12 Wednesday11:15 – 12:45

Time & Place

VO Tuesday&Friday08:15 – 10:00 3W03 Cezary Kaliszyk

Registration

Online registration is required until 23:59 on April 30.