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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Καββαδίας, Δημήτρης (Συγγραφέας), Σιδέρη, Μάρθα (Συγγραφέας), Σταυρόπουλος, Ηλίας Χ. (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:Greek
Έκδοση: Patras Greece Computer Technology Institute 1998
Θέματα:

Παρόμοια τεκμήρια