Allgemeine Informationen
Veranstaltungsname | Seminar: 2.01.490 Seminar: Logical Methods in AI Verification and Explanation |
Untertitel | inf490 |
Veranstaltungsnummer | 2.01.490 |
Semester | SoSe2023 |
Aktuelle Anzahl der Teilnehmenden | 3 |
erwartete Teilnehmendenanzahl | 12 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Seminar in der Kategorie Lehre |
Art/Form | S |
Lehrsprache | deutsch |