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

• Main Authors: Στεργιόπουλος Ν., Νικόλαος (Author), Χατζηλυγερούδης, Δημήτρης (Author)
• Format: Book
• Language: Greek
• Published: Πάτρα Πανεπιστήμιο Πατρών,ΤΜΗΥΠ 2012
• Subjects: Πτυχιακή Εργασία; ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 2012; Discrimination Tree

Table of Contents:

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