LMU - Ludwig-Maximilians-Universität München
Theoretische Informatik und Theorembeweisen
Links und Funktionen
www.lmu.de
LMU-Portal
Hauptnavigation
Navigation
Aktuelles
Mitarbeiter
Lehre
Bachelor- und Masterarbeiten
SS 2025
WS 2024/25
SS 2024
WS 2023/24
SS 2023
WS 2022/23
SS 2022
WS 2021/22
SS 2021
WS 2020/21
SS 2020
WS 2019/20
SS 2019
WS 2018/19
SS 2018
WS 2017/18
SS 2017
WS 2016/17
SS 2016
Frühere Semester
Forschung
drucken
Inhaltsbereich
Master Praktikum: Automated Theorem Provers
Instructors: Massin Guerdi, Lydia Kondylidou
2+2 hours per week
Artikelaktionen
Funktionsleiste
drucken
nach oben