|
|
Walther, C. (1987): A Many-sorted Calculus Based on Resolution and Paramodulation
| Title: |
A Many-sorted Calculus Based on Resolution and Paramodulation |
| Author(s): |
Walther, C. |
| Year: |
1987 |
| Booktitle: |
Research Notes in Artifical Intelligence |
| Publisher: |
Pitman Ltd. |
| Address: |
London |
Concepts
|
|
