|
|
David A. Plaisted (1984): Complete Problems in the First-Order Predicate Calculus
| Title: |
Complete Problems in the First-Order Predicate Calculus |
| Author(s): |
David A. Plaisted |
| Year: |
1984 |
| Journal: |
Journal of Computedr and System Sciences |
| Volume: |
29 |
| Pages: |
8-35 |
Concepts
|
|
