An automated reasoning system.
| Autor: | Wos, L., Winker, S. K., Lusk, E. L. |
|---|---|
| Zdroj: | AFIPS Joint Computer Conferences; May1981, p697-702, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Wos, L., Winker, S. K., Lusk, E. L. |
|---|---|
| Zdroj: | AFIPS Joint Computer Conferences; May1981, p697-702, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|