|
|
Peter Baumgartner (1991): A Comleteness Proof Technique for Resolution with Equality
| Title: |
A Comleteness Proof Technique for Resolution with Equality |
| Author(s): |
Peter Baumgartner |
| Year: |
1991 |
| Booktitle: |
15th German Workshop on Artificial Intelligence GWAI--91 |
| Editor(s): |
Christaller, Th. |
| Number: |
285 |
| Pages: |
12-22 |
| Publisher: |
Springer |
| Address: |
Berlin u.a. |
Concepts
|
|
