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

• Main Author: Κεραμύδας, Ελευθέριος
• Corporate Author: Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής (Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών)
• Format: Book
• Language: Greek
• Published: Πάτρα [χ.ό.] 2004
• Subjects: Αυτόματη απόδειξη θεωρημάτων; Λογική, Συμβολική και μαθηματική
• Item Description: Διατμηματικό Πρόγραμμα Μεταπτυχιακών Σπουδών "Μαθηματικά των Υπολογιστών και των Αποφάσεων"
• Physical Description: ii, 154σ. πιν. 30 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφία