Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P

• Κύριος συγγραφέας: Κεραμύδας, Ελευθέριος
• Συγγραφή απο Οργανισμό/Αρχή: Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής (Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών)
• Μορφή: Βιβλίο
• Γλώσσα: Greek
• Έκδοση: Πάτρα [χ.ό.] 2004
• Θέματα: Αυτόματη απόδειξη θεωρημάτων; Λογική, Συμβολική και μαθηματική