26.11.2025, 14:00 Uhr Verteidigung der Masterarbeit von Happy Sariyanto Finite Model Finding in First-Order Modal Logics Termin anzeigen
