A computer system for checking proofs / by Scott D. Johnson.
| Author/creator | Johnson, Scott D. |
| Format | Book |
| Publication Info | Ann Arbor, Mich. : UMI Research Press, ©1982. |
| Description | xiv, 262 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Computer science. Artificial intelligence ; no. 12 Computer science. Artificial intelligence ; no. 12. ^A131988 |
| Local note | Little-235686 - $44.95 |
| General note | Revision of the author's thesis (Ph. D.)--Cornell University, 1981. |
| General note | Includes index. |
| Bibliography note | Bibliography: p. [253]-258. |
| LCCN | 82006990 |
| ISBN | 0835713431 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.6 .J65 1982 | ✔ Available | Place Hold |