en | de

Maschinelles Lernen für Theorembeweisen

Masterstudium

VO2  SS 2018  703819

Lehrender

Raum Sprechstunde
VO Cezary Kaliszyk 3M12 Mittwoch11:15 – 12:45

Zeit & Ort

VO Dienstag&Freitag08:15 – 10:00 3W03 Cezary Kaliszyk

Anmeldung

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