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

Bibliographic Details
Main Authors: Καββαδίας, Δημήτρης (Author), Σιδέρη, Μάρθα (Author), Σταυρόπουλος, Ηλίας Χ. (Author)
Format: Book
Language:Greek
Published: Patras Greece Computer Technology Institute 1998
Subjects:

Μηχανικών Η/Υ και Πληροφορικής: Unknown

Holdings details from Μηχανικών Η/Υ και Πληροφορικής: Unknown
Call Number: Unknown
Copy 1 Available