# Etude et réalisation de méthodes de preuve par récurrence en logique équationnelle

> Fiche œuvre du catalogue https://superlivre.fr/livre/etude-et-realisation-de-methodes-de-preuve-par-recurrence-en-logique-equationnel-cb37615065c (données du dépôt légal BnF).

- **Auteur** : [Azzedine Lazrek](https://superlivre.fr/auteur/azzedine-lazrek-cb124748671)
- **Première parution** : 1988
- **Langue** : français
- **Éditions recensées** : 1 (1988–1988)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1988 | [ANRT](https://superlivre.fr/editeur/anrt) | Grenoble 2 |  |  |