Zum Hauptinhalt
Deutsch (du) (de_du)
Deutsch (de)
Deutsch (du) (de_du)
English (en)
Du bist nicht angemeldet. (
Login
)
Kursinformation
Startseite
Kurse
Sommersemester 2020
Wahlbereiche
ATP 20
Beschreibung
Automated Theorem Proving SoSe20
Homepage for the course "Automated theorem proving"
slides
exercises
discussion group
Dozent*in:
Richard Bubel
Erste Veranstaltung
:
Dienstag, 21. April 2020, 13:30