A computer system for checking proofs
Edición de la obra A computer system for checking proofs
| Autor | Scott D. Johnson |
|---|---|
| Editorial | UMI Research Press |
| Fecha de publicación | 1982 |
| Lugar | Ann Arbor, Mich |
| Idioma | inglés |
| Páginas | 262 |
| ISBN-10 | 0835713431 |
| LCCN | 82006990 |
| Serie | Computer science. · no. 12 |
| Número de Cutter | J69c |