Κανονική προβολή Προβολή MARC Προβολή ISBD

Προσθήκη βιβλιοθήκης στρατηγικών ελέγχου σε ένα γενικευμένο αποδείκτη θεωρημάτων Διπλωματική εργασία. - Πάτρα Τμημα Η/Υ. Πτυχιακές Εργασίες. Ιούνιος 1994

Subjects--Topical Terms:
ACT--P
COMPUTER PROGRAMMING
Ηλεκτρονικοί υπολογιστές--Προγραμματισμός
ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 1994
ΣΤΡΑΤΗΓΙΚΕΣ ΕΛΕΓΧΟΥ