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

• Κύριος συγγραφέας: Κεραμύδας, Ελευθέριος
• Άλλοι συγγραφείς: Χατζηλυγερούδης, Ιωάννης
• Μορφή: Thesis
• Γλώσσα: Greek
• Έκδοση: 2010
• Θέματα: Αυτόματη απόδειξη θεωρημάτων; Λογική, Συμβολική και μαθηματική; 511.3; Automatic theorem proving; Logic, Symbolic and mathematical

-