Defining answer classes using resolution refutation
| Autor: | Burhans, Debra T., Shapiro, Stuart C. |
|---|---|
| Zdroj: | In Journal of Applied Logic 2007 5(1):70-91 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Burhans, Debra T., Shapiro, Stuart C. |
|---|---|
| Zdroj: | In Journal of Applied Logic 2007 5(1):70-91 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect