# Un Programme de démonstration de théorèmes

> Fiche œuvre du catalogue https://superlivre.fr/livre/un-programme-de-demonstration-de-theoremes-c8742f1538c7 (données du dépôt légal BnF).

- **Auteur** : [Jacques Pitrat](https://superlivre.fr/auteur/jacques-pitrat-cb120181496) (1934–2019)
- **Première parution** : 1970
- **Langue** : français
- **Éditions recensées** : 1 (1970–1970)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1970 | [Dunod](https://superlivre.fr/editeur/dunod) | Paris | 120 |  |