en | de

Maschinelles Lernen für Theorembeweisen

Masterstudium

VU3  WS 2023/2024  703819

Lehrender

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

Zeit & Ort

VU Mittwoch08:15 – 11:00 3W04 (ICT-Gebäude, 2.Stock)

Anmeldung

Online registration is required.