AISE-Auto: Automation of Logical Reasoning (Übung - Gruppe 1)

Wann: Do, 14:00 - 16:00, WE5/02.005

Diese Übung gehört zur LV: AISE-Auto: Automation of Logical Reasoning (siehe Info: https://vc.uni-bamberg.de/course/view.php?id=67924)
Semester: 2024 Sommersemester