|
|
Weyhrauch, Richard W. (1985): Prolegomena to a Theory of Mechanized Formal Reasoning
| Title: |
Prolegomena to a Theory of Mechanized Formal Reasoning |
| Author(s): |
Weyhrauch, Richard W. |
| Year: |
1985 |
| Booktitle: |
Readings in Knowledge Representation |
| Editor(s): |
Brachman, R. J. and Levesque, H. J. |
| Chapter: |
IV |
| Pages: |
309-329 |
| Publisher: |
Morgan Kaufman |
| Address: |
Los Altos, CA |
Concepts
|
|
