AISE-Auto: Automation of Logical Reasoning
Vorlesung + Übung
Vorlesung: Do, 10:00 - 12:00, WE5/05.003
Übung- Zwei Gruppen zur Wahl:
1) Do, 14:00 - 16:00, WE5/02.005
2) Do, 16:00 - 18:00, WE5/03.004
Vorlesung + Übung
Vorlesung: Do, 10:00 - 12:00, WE5/05.003
Übung- Zwei Gruppen zur Wahl:
1) Do, 14:00 - 16:00, WE5/02.005
2) Do, 16:00 - 18:00, WE5/03.004
- Moderator/in: Christoph Benzmüller
- Moderator/in: David Fuenmayor Pelaez
Semester: 2024 Sommersemester