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

• Main Author: Ματσούκας, Σπύρος (Author)
• Other Authors: Τσακαλίδης, Αθανάσιος
• Format: Book
• Language: Greek
• Published: Πάτρα Τμημα Η/Υ. Πτυχιακές Εργασίες. Ιούνιος 1994
• Subjects: ACT > P; COMPUTER PROGRAMMING; Ηλεκτρονικοί υπολογιστές > Προγραμματισμός; ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 1994; ΣΤΡΑΤΗΓΙΚΕΣ ΕΛΕΓΧΟΥ