en | de

SAT/SMT Solving

bachelor program

PS2  SS 2018  703048

Lecturer

room consultation hours
PS Sarah Winkler 3M03 Wednesday13:00 – 15:00

Time & Place

PS Thursday11:15 – 13:00 HS 11 Sarah Winkler

Registration

Online registration is required until 23:59 on February 21.