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