|
|
R. L. Constable and D. J. Howe (1990): Implementing Metamathematics as an Approach to Automatic Theorem Proving
| Title: |
Implementing Metamathematics as an Approach to Automatic Theorem Proving |
| Author(s): |
R. L. Constable and D. J. Howe |
| Year: |
1990 |
| Booktitle: |
Formal techniques in Artificial Intelligence -- A Sourcebook |
| Editor(s): |
R. B. Banerji |
| Number: |
6 |
| Pages: |
45-76 |
| Publisher: |
North--Holland |
| Address: |
Amsterdam |
Concepts
|
|
