Loves:A logical verification system Διπλωματική εργασία.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Δασκαλοπούλου, Ασπασία-Καλλιόπη (Συγγραφέας)
Άλλοι συγγραφείς:	Κωνσταντίνου, Βασίλης Supervisor, Τσακαλίδης, Αθανάσιος
Μορφή:	Βιβλίο
Γλώσσα:	Greek
Έκδοση:	London The Polytechnic of Central London Τμημα Η/Υ. Πτυχιακές Εργασίες. 1991
Θέματα:	ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 1991


LEADER	00952nam a22002173u 4500
001	10103322
003	upatras
005	20210117203947.0
008	991022s1991 gre
040			\|a Βιβλιοθήκη ΕΑΙΤΥ \|c Βιβλιοθήκη ΕΑΙΤΥ
041	0		\|a gre
245	1	0	\|a Loves:A logical verification system \|b Διπλωματική εργασία.
260			\|a London \|b The Polytechnic of Central London \|b Τμημα Η/Υ. Πτυχιακές Εργασίες. \|c 1991
650		4	\|a ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 1991 \|9 118645
700	1		\|a Δασκαλοπούλου, Ασπασία-Καλλιόπη \|4 aut \|9 119293
700	1		\|a Κωνσταντίνου, Βασίλης \|c Supervisor \|9 119294
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 131060 \|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 85841 \|d 85841

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