Η παρούσα πτυχιακή εργασία εξετάζει το πρόβλημα της επιλογής μαθηματικών προτάσεων (premise selection) στο πλαίσιο της αυτοματοποιημένης απόδειξης μαθηματικών θεωρημάτων και προτείνει μια εναλλακτική αρχιτεκτονική ασύμμετρου ...