Proseminar: Applications of Logic in Computer Science (SS 2024)

TU Dresden | Summer semester 2024 Proseminar: Applications of Logic in Computer Science (SS 2024)

Access to this course has been restricted. Please login. Login

Information about access

You do not have enough rights to start this resource.