APA (7th ed.) Citation

Ματσούκας, Σ., & Τσακαλίδης, Α. (1994). Προσθήκη βιβλιοθήκης στρατηγικών ελέγχου σε ένα γενικευμένο αποδείκτη θεωρημάτων: Διπλωματική εργασία. Τμημα Η/Υ. Πτυχιακές Εργασίες.

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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