Aktivitaet2003

Aus International Center for Computational Logic
Version vom 9. April 2021, 11:27 Uhr von Sebastian Rudolph (Diskussion | Beiträge)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche

Principal Investigator im DFG-Graduiertenkolleg "Quantitative Logics and Automata" (QuantLA)