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

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

Εμφάνιση άλλων εκδόσεων (1)

-

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

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

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