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

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

Παρόμοια τεκμήρια