Κύριοι συγγραφείς:	Μπρόκου, Μαρίνα Ι., Brokou, Marina I.
Άλλοι συγγραφείς:	N/A
Μορφή:	bachelorThesis
Έκδοση:	N/A 1970
Θέματα:	Aποδεικτικά εκπαιδευτικά εργαλεία Λογισμικά δυναμικής γεωμετρίας Τυποποίηση γεωμετρίας Τυπικές αποδείξεις Διαδραστικές αποδείξεις Coq proof assistant Dynamic geometry software Geometry formalization Educational proving tools Geoproof Geocoq
Διαθέσιμο Online:	http://hdl.handle.net/123456789/4744