Αξιολόγηση και Βελτίωση Αποδείκτη Θεωρημάτων σε Java (Discrimination-Tree Indexing) Πανεπιστήμιο Πατρών,ΤΜΗΥΠ

• Κύριοι συγγραφείς: Στεργιόπουλος Ν., Νικόλαος (Συγγραφέας), Χατζηλυγερούδης, Δημήτρης (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: Greek
• Έκδοση: Πάτρα Πανεπιστήμιο Πατρών,ΤΜΗΥΠ 2012
• Θέματα: Πτυχιακή Εργασία; ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 2012; Discrimination Tree

Πίνακας περιεχομένων:

• ΚΕΦΑΛΑΙΟ 1 Βασικές Έννοιες σελ.4 ΚΕΦΑΛΑΙΟ 2 ATP Συστήματα σελ. 15 ΚΕΦΑΛΑΙΟ 3 Βιβλιοθήκη TPTP σελ.27 ΚΕΦΑΛΑΙΟ 4 Αποδείκτης ACT-P σελ.34 ΚΕΦΑΛΑΙΟ 5 Μετατροπή του ACT-P σε Java σελ.47 ΚΕΦΑΛΑΙΟ 6 Στρατηγικές σελ.56 ΚΕΦΑΛΑΙΟ 7 Το νέο γραφικό περιβάλλον σελ.98