On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17
Κύριοι συγγραφείς: | , , |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | Greek |
Έκδοση: |
Patras Greece
Computer Technology Institute
1998
|
Θέματα: |
Μηχανικών Η/Υ και Πληροφορικής: Unknown
Ταξιθετικός Αριθμός: |
Unknown |
---|---|
Αντίγραφο 1 | Στη βιβλιοθήκη |