Proseminar: Applications of Logic in Computer Science (WS 2023/2024) [beendet]

Dieser Kurs wurde beendet und wird nicht länger bearbeitet oder aktualisiert.

The Proseminar class is limited to 9 students. Please only enrol if you commit to work on a topic.

Informationen zum Zugang

This course element is not accessible.

Der Kursbaustein "Enrollment" ist für Gäste nicht freigegeben. Melden Sie sich bitte an, um Zugang zu erhalten.

Dieser Kurs ist geschlossen. Sie können sich in diesen Kurs nicht länger einschreiben oder austragen.