Seminar Theoretical Computer Science: Automata, Logics, and Infinite Games

TU Dresden | Sommersemester 2024 Seminar Theoretical Computer Science: Automata, Logics, and Infinite Games

Tutors: Prof. Dr.-Ing. Franz Baader, Dr.-Ing. Francesco Kriegel

Access to this course has been restricted. Please login. Login
Information about access
You do not have enough rights to start this resource.