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

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Κεραμύδας, Ελευθέριος
Συγγραφή απο Οργανισμό/Αρχή: Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής (Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών)
Μορφή: Βιβλίο
Γλώσσα:Greek
Έκδοση: Πάτρα [χ.ό.] 2004
Θέματα:
Αυτόματη απόδειξη θεωρημάτων
Λογική, Συμβολική και μαθηματική
Διαθέσιμο Online:http://nemertes.lis.upatras.gr/jspui/handle/10889/3585

Παρόμοια τεκμήρια

Παρόμοια τεκμήρια