|
|
Walther, Christoph (1987): Many--Sorted Resolution
| Title: |
Many--Sorted Resolution |
| Author(s): |
Walther, Christoph |
| Year: |
1987 |
| Booktitle: |
Frühjahrsschule für Künstliche Intelligenz KIFS--87 |
| Editor(s): |
Christaller, Thomas |
| Number: |
202 |
| Pages: |
65-102 |
| Publisher: |
Springer |
| Address: |
Berlin u.a. |
Concepts
|
|
