Un programme de démonstration de théorèmes.
Edición de la obra Un programme de démonstration de théorèmes
| Autor | J. Pitrat |
|---|---|
| Editorial | Dunod |
| Fecha de publicación | 1970 |
| Lugar | Paris |
| Idioma | francés |
| Páginas | 120 |
| OCLC | 6047463 |
| LCCN | 71554857 |
| Serie | Monographies d'informatique, · 7 |
| Número de Cutter | P686p |