Andrei Voronkov

Aus International Center for Computational Logic
Version vom 4. November 2015, 15:59 Uhr von Markus Krötzsch (Diskussion | Beiträge)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche

Prof. Andrei Voronkov

Ehemaliges Mitglied
Andrei Voronkov
  •   Ehemals Gastprofessor