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

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