On the Maximal Models of Horn Formulas C.T.I. Technical Report TR 98.4.17
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | Greek |
| Published: |
Patras Greece
Computer Technology Institute
1998
|
| Subjects: |
| Description not available. |
