|
|
D. A. Plaisted (1990): Mechanical Theorem Proving
| Title: |
Mechanical Theorem Proving |
| Author(s): |
D. A. Plaisted |
| Year: |
1990 |
| Booktitle: |
Formal techniques in Artificial Intelligence -- A Sourcebook |
| Editor(s): |
R. B. Banerji |
| Number: |
6 |
| Pages: |
269-320 |
| Publisher: |
North--Holland |
| Address: |
Amsterdam |
Concepts
|
|
