A machine program for theorem-proving
Edición de la obra A machine program for theorem-proving
| Autor | Martin Davis |
|---|---|
| Editorial | Courant Institute of Mathematical Sciences, New York University |
| Fecha de publicación | 1961 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 13 |
| Número de Cutter | D263m |