Wann: Do, 16:00 - 18:00, WE5/03.004
Diese Übung gehört zur LV: AISE-Auto: Automation of Logical Reasoning (siehe Info: https://vc.uni-bamberg.de/course/view.php?id=67924)
- Moderator/in: David Fuenmayor Pelaez
Semester: 2024 Sommersemester
Wann: Do, 16:00 - 18:00, WE5/03.004
Diese Übung gehört zur LV: AISE-Auto: Automation of Logical Reasoning (siehe Info: https://vc.uni-bamberg.de/course/view.php?id=67924)