| Shelfclass_id | 4.B.3 |
| Sortkey | WALTHER, CHRISTOPH |
| Authors | Christoph Walther |
| Title | A Many-Sorted Calculus Based on Resolution and Paramodulation |
| Publisher | Morgan Kaufmann Publishers |
| Year | 1987 |
| Languages | eng |
| Isbn | 0934613494 |
| Series | Research notes in artificial intelligence |
| Description | (Morgan Kaufmann: pbk.) $22.95 160 p. ill. 25 cm |
| Record date | 20060714 |
| Location | Los Altos, Calif. |
| Keywords | Automatic theorem proving, Artificial intelligence |
| Notes | Revised translation of thesis (doctoral)--University of Karlsruhe, 1984 |