# Réalisation de programmes de démonstration de théorèmes utilisant des méthodes heuristiques

> Fiche œuvre du catalogue https://superlivre.fr/livre/realisation-de-programmes-de-demonstration-de-theoremes-utilisant-des-methodes-h-f7dd5281c020 (données du dépôt légal BnF).

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

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1966 |  |  | 165 |  |