Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P - Κεραμύδας, Ελευθέριος ([χ.ό.], 2004)
Διατμηματικό Πρόγραμμα Μεταπτυχιακών Σπουδών "Μαθηματικά των Υπολογιστών και των Αποφάσεων"