A computer system for checking proofs
by Scott D. Johnson
Bok Engelsk 1982
| Utgitt | Ann Arbor, Mich. : UMI Research Press , c1982
|
|---|---|
| Omfang | xiv, 262 s. : ill.
|
| Opplysninger | Revidert utgave av avhandling (Ph. D.), Cornell University, 1981
|
| Emner | |
| ISBN | 0835713431
|
