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
Semester: 2024 Sommersemester