Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Veranstaltung
Semester:
Wintersemester
2024
2.01.490 Logical Methods in AI Verification -
Veranstaltungstermin | Raum
Veranstaltungsort
- Blockveranstaltung
lecturer
TutorIn
SWS
2
Lehrsprache
englisch