|
|
Robinson, J. (1965): A Machine-oriented Logic Based on the Resolution Principle
| Title: |
A Machine-oriented Logic Based on the Resolution Principle |
| Author(s): |
Robinson, J. |
| Year: |
1965 |
| Journal: |
Journal of the ACM |
| Volume: |
12 |
| Number: |
1 |
| Pages: |
23-41 |
Concepts
|
|
