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

• Κύριος συγγραφέας: Δασκαλοπούλου, Ασπασία-Καλλιόπη (Συγγραφέας)
• Άλλοι συγγραφείς: Κωνσταντίνου, Βασίλης Supervisor, Τσακαλίδης, Αθανάσιος
• Μορφή: Βιβλίο
• Γλώσσα: Greek
• Έκδοση: London The Polytechnic of Central London Τμημα Η/Υ. Πτυχιακές Εργασίες. 1991
• Θέματα: ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ 1991