On local modularity and interpolation in entailment systems.
Autor: | Veloso, Paulo A.S., Fiadeiro, José L., Veloso, Sheila R.M. |
---|---|
Zdroj: | Information Processing Letters. 5/31/2002, Vol. 82 Issue 4, p203. 9p. 4 Diagrams, 1 Chart. |
Databáze: | Business Source Ultimate |
Externí odkaz: |