|
|
|
|
| LEADER |
01676nam a2200277 u 4500 |
| 001 |
10107734 |
| 003 |
upatras |
| 005 |
20210117204418.0 |
| 008 |
120316s gre |
| 040 |
|
|
|a ceid
|c ceid
|
| 040 |
|
|
|a XX-XxUND
|c ΤΜΗΥΠ
|
| 245 |
1 |
0 |
|a Αξιολόγηση και Βελτίωση Αποδείκτη Θεωρημάτων σε Java (Discrimination-Tree Indexing)
|b Πανεπιστήμιο Πατρών,ΤΜΗΥΠ
|b Διπλωματική Εργασία
|c Σεργιόπουλος Νικόλαος; Ιωάννης Χατζηλυγερούδης
|
| 260 |
|
|
|a Πάτρα
|b Πανεπιστήμιο Πατρών,ΤΜΗΥΠ
|c 2012
|
| 300 |
|
|
|a σελ.92
|
| 300 |
|
|
|a εικ
|
| 504 |
|
|
|a Βιβλιογραφία σελ.92
|
| 505 |
1 |
|
|a ΚΕΦΑΛΑΙΟ 1 Βασικές Έννοιες σελ.4
|a ΚΕΦΑΛΑΙΟ 2 ATP Συστήματα σελ. 15
|a ΚΕΦΑΛΑΙΟ 3 Βιβλιοθήκη TPTP σελ.27
|a ΚΕΦΑΛΑΙΟ 4 Αποδείκτης ACT-P σελ.34
|a ΚΕΦΑΛΑΙΟ 5 Μετατροπή του ACT-P σε Java σελ.47
|a ΚΕΦΑΛΑΙΟ 6 Στρατηγικές σελ.56
|a ΚΕΦΑΛΑΙΟ 7 Το νέο γραφικό περιβάλλον σελ.98
|
| 650 |
|
4 |
|a Πτυχιακή Εργασία
|9 125162
|
| 650 |
|
4 |
|a ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 2012
|9 129566
|
| 650 |
|
4 |
|a Discrimination Tree
|9 129669
|
| 700 |
1 |
|
|a Στεργιόπουλος Ν., Νικόλαος
|4 aut
|9 129670
|
| 700 |
1 |
|
|a Χατζηλυγερούδης, Δημήτρης
|4 aut
|9 125698
|
| 852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΤΜΗΥΠ
|t 1
|
| 942 |
|
|
|2 ddc
|
| 952 |
|
|
|0 0
|1 0
|4 0
|7 0
|9 145091
|a CEID
|b CEID
|d 2016-04-24
|l 0
|r 2016-04-24 00:00:00
|t 1
|w 2016-04-24
|
| 999 |
|
|
|c 94437
|d 94437
|
