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

-

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Κεραμύδας, Ελευθέριος
Άλλοι συγγραφείς: Χατζηλυγερούδης, Ιωάννης
Μορφή: Thesis
Γλώσσα:Greek
Έκδοση: 2010
Θέματα:
Διαθέσιμο Online:https://hdl.handle.net/10889/3585
Search Result 1
ανά Κεραμύδας, Ελευθέριος
Έκδοση 2004
Λήψη πλήρους κειμένου
Βιβλίο