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

• Main Author: Δασκαλοπούλου, Ασπασία-Καλλιόπη (Author)
• Other Authors: Κωνσταντίνου, Βασίλης Supervisor, Τσακαλίδης, Αθανάσιος
• Format: Book
• Language: Greek
• Published: London The Polytechnic of Central London Τμημα Η/Υ. Πτυχιακές Εργασίες. 1991
• Subjects: ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 1991