Minlog-Kurs 16 - Coinduktion und Corekursion
23:03
Minlog-Kurs 01 - Metainfos, erster Beweis
19:41
Minlog-Kurs 08 - Totalität
20:41
Minlog-Kurs 07 - Typen und Terme
14:48
Minlog-Kurs 13 - Ex-Falso und Stabilität
42:25
WS2024 / [02] Grundlagen der Programmierung / Auflösung der 2. Leistungsüberprüfung
20:08
Quels sont les caractères d'un groupe ? | Théorie des représentations, épisode 4
1:08:32
Ich warne davor, eine Denunziationskultur zu etablieren ǀ Gabriele Krone-Schmalz
41:13