Αυτόματη απόδειξη θεωρημάτων (Topical Term)

Machine generated authority record.

Work cat.: (GR-PaULI)60370: Γριβοκωστοπούλου, Φωτεινή 86549, Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων, 2009