On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17

• Κύριοι συγγραφείς: Καββαδίας, Δημήτρης (Συγγραφέας), Σιδέρη, Μάρθα (Συγγραφέας), Σταυρόπουλος, Ηλίας Χ. (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: Greek
• Έκδοση: Patras Greece Computer Technology Institute 1998
• Θέματα: CTI TR 1998; TECHNICAL REPORT; ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ