|
|
A. Goerdt (1990): Comparing the Complexity of Regular and Unrestricted Resolution
| Title: |
Comparing the Complexity of Regular and Unrestricted Resolution |
| Author(s): |
A. Goerdt |
| Year: |
1990 |
| Booktitle: |
German Workshop on Artificial Intelligence GWAI--90 |
| Editor(s): |
H. Marburger |
| Number: |
251 |
| Pages: |
181-185 |
| Publisher: |
Springer |
| Address: |
Berlin u.a. |
Concepts
|
|
