Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων

• Main Author: Γριβοκωστοπούλου, Φωτεινή
• Corporate Author: Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής (Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών, Πολυτεχνική Σχολή, Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής)
• Format: Book
• Language: Greek
• Published: Πάτρα [χ.ό.] 2009
• Subjects: Αυτόματη απόδειξη θεωρημάτων; Λογική, Συμβολική και μαθηματική