# Représentation des ensembles en démonstration automatique

> Fiche œuvre du catalogue https://superlivre.fr/livre/representation-des-ensembles-en-demonstration-automatique-cb347720978 (données du dépôt légal BnF).

- **Auteur** : [Bernard Merialdo](https://superlivre.fr/auteur/bernard-merialdo-cb12663154n)
- **Première parution** : 1984
- **Langue** : français
- **Genres** : [Théorèmes -- Démonstration automatique](https://superlivre.fr/genre/theoremes-demonstration-automatique-cb11977922s), [Topologie](https://superlivre.fr/genre/topologie-cb119445977)
- **Éditions recensées** : 1 (1984–1984)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1984 | [C.N.R.S.](https://superlivre.fr/editeur/c-n-r-s) | Paris | 125 |  |