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

• Main Author: Κεραμύδας, Ελευθέριος
• Other Authors: Χατζηλυγερούδης, Ιωάννης
• Format: Thesis
• Language: Greek
• Published: 2010
• Subjects: Αυτόματη απόδειξη θεωρημάτων; Λογική, Συμβολική και μαθηματική; 511.3; Automatic theorem proving; Logic, Symbolic and mathematical

-