Αξιολόγηση και Βελτίωση Αποδείκτη Θεωρημάτων σε Java (Discrimination-Tree Indexing) Πανεπιστήμιο Πατρών,ΤΜΗΥΠ Διπλωματική Εργασία - Στεργιόπουλος Ν., Νικόλαος; Χατζηλυγερούδης, Δημήτρης (Πανεπιστήμιο Πατρών,ΤΜΗΥΠ, 2012)