Προσθήκη βιβλιοθήκης στρατηγικών ελέγχου σε ένα γενικευμένο αποδείκτη θεωρημάτων Διπλωματική εργασία.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Ματσούκας, Σπύρος (Συγγραφέας)
Άλλοι συγγραφείς: Τσακαλίδης, Αθανάσιος
Μορφή: Βιβλίο
Γλώσσα:Greek
Έκδοση: Πάτρα Τμημα Η/Υ. Πτυχιακές Εργασίες. Ιούνιος 1994
Θέματα:
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