Proseminar Anwendungen der Logik in der Informatik
Die Vorlesungswebseite ist unter https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/29427466249 erreichbar.