|
|
Schmidt-Strau\ss , M. (1985): A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation
| Title: |
A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation |
| Author(s): |
Schmidt-Strau\ss , M. |
| Year: |
1985 |
| Booktitle: |
9th IJCAI |
| Pages: |
1162-1168 |
| Address: |
Los Angeles |
Concepts
|
|
