Proseminar Anwendungen der Logik in der Informatik

Die Vorlesungswebseite ist unter https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/29427466249 erreichbar.