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

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