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

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