TY - THES TI - Αλγεβρική επίλυση γεωμετρικών προβλημάτων (Αυτόματες - Αγλοριθμικές Αποδείξεις , το τρίτο πρόβλημα Hilbert) AU - Αντωνόπουλος Νίκος PY - 2011 C1 - Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών ER -