Seminar: 2.01.490 Seminar: Logical Methods in AI Verification and Explanation - Details

Seminar: 2.01.490 Seminar: Logical Methods in AI Verification and Explanation - Details

You are not logged into Stud.IP.

General information

Course name Seminar: 2.01.490 Seminar: Logical Methods in AI Verification and Explanation
Subtitle inf490
Course number 2.01.490
Semester SoSe2023
Current number of participants 3
expected number of participants 12
Home institute Department of Computing Science
Courses type Seminar in category Teaching
Type/Form S
Lehrsprache deutsch

Rooms and times

n. V. Bitte wenden Sie sich an die Lehrenden.

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
The following rules apply for the admission:
  • Admission locked.