Allgemeine Informationen
| Veranstaltungsname | Seminar: 2.01.490 Seminar: Logical Methods in AI Verification |
| Untertitel | inf490 |
| Veranstaltungsnummer | 2.01.490 |
| Semester | WiSe23/24 |
| Aktuelle Anzahl der Teilnehmenden | 2 |
| erwartete Teilnehmendenanzahl | 5 |
| Heimat-Einrichtung | Department für Informatik |
| Veranstaltungstyp | Seminar in der Kategorie Lehre |
| Erster Termin | Mittwoch, 18.10.2023 08:00 - 10:00, Ort: A03 2-209 |
| Art/Form | S |
| Lehrsprache | englisch |
| ECTS-Punkte | 3 |
