en | de

SAT/SMT Solving

bachelor program

PS2  SS 2019  703048

Lecturer

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

Time & Place

PS Friday13:15 – 15:00 HSB9 Sarah Winkler

Registration

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