# Démonstration automatique : techniques de réécriture

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

- **Auteur** : [Michaël Rusinowitch](https://superlivre.fr/auteur/michael-rusinowitch-cb12119901t)
- **Première parution** : 1989
- **Langue** : français
- **Genres** : [Théorèmes -- Démonstration automatique](https://superlivre.fr/genre/theoremes-demonstration-automatique-cb11977922s)
- **Éditions recensées** : 1 (1989–1989)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1989 | [Interéditions](https://superlivre.fr/editeur/intereditions) | Paris | 150 | 2-7296-0263-1 |