|
|
|
|
LEADER |
01187nam a22002533u 4500 |
001 |
10103638 |
003 |
upatras |
005 |
20210831143307.0 |
008 |
991022s gre |
040 |
|
|
|a Βιβλιοθήκη ΕΑΙΤΥ
|c Βιβλιοθήκη ΕΑΙΤΥ
|
041 |
0 |
|
|a gre
|
245 |
1 |
0 |
|a Προσθήκη βιβλιοθήκης στρατηγικών ελέγχου σε ένα γενικευμένο αποδείκτη θεωρημάτων
|b Διπλωματική εργασία.
|
260 |
|
|
|a Πάτρα
|b Τμημα Η/Υ. Πτυχιακές Εργασίες.
|c Ιούνιος 1994
|
650 |
|
4 |
|a ACT
|x P
|9 120119
|
650 |
|
4 |
|a COMPUTER PROGRAMMING
|9 24276
|
650 |
|
4 |
|a Ηλεκτρονικοί υπολογιστές
|x Προγραμματισμός
|9 948
|
650 |
|
4 |
|a ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 1994
|9 119738
|
650 |
|
4 |
|a ΣΤΡΑΤΗΓΙΚΕΣ ΕΛΕΓΧΟΥ
|9 120120
|
700 |
1 |
|
|a Ματσούκας, Σπύρος
|4 aut
|9 120121
|
700 |
1 |
|
|a Τσακαλίδης, Αθανάσιος
|9 38967
|
852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΤΜΗΥΠ
|t 1
|
942 |
|
|
|2 ddc
|
952 |
|
|
|0 0
|1 0
|4 0
|7 0
|9 131938
|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 86462
|d 86462
|