Unit Refutations and Horn Sets.
| Autor: | Henschen, L., Wos, L. |
|---|---|
| Zdroj: | Journal of the ACM; Oct1974, Vol. 21 Issue 4, p590-605, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Henschen, L., Wos, L. |
|---|---|
| Zdroj: | Journal of the ACM; Oct1974, Vol. 21 Issue 4, p590-605, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|