Machine Learning for Theorem Proving

master program

VO2 SS 2018 703819

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

Tuesday&Friday

08:15 – 10:00

3W03

Cezary Kaliszyk

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