Σταύρος Κοσμαδάκης
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
-
Καθηγητής,
Τμήμα Μηχανικών Υλεκτρονικών Υπολογιστών και Πληροφορικής Πανεπιστήμιο Πάτρας, University of Patras
MSc theses supervised
τίτλος | student | defense |
---|---|---|
Proof Complexity: A Tableau Perspective | 2017-07-19 | |
1 MSc thesis. |