# Formes canoniques dans les algèbres booléennes et application à la démonstration automatique en logique de premier ordre

> Fiche œuvre du catalogue https://superlivre.fr/livre/formes-canoniques-dans-les-algebres-booleennes-et-application-a-la-demonstration-cb36101033k (données du dépôt légal BnF).

- **Auteur** : [François Fages](https://superlivre.fr/auteur/francois-fages-cb12506475r) (1959–)
- **Première parution** : 1983
- **Langue** : français
- **Éditions recensées** : 1 (1983–1983)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1983 | [Institut national de recherche en informatique et en automatique](https://superlivre.fr/editeur/institut-national-de-recherche-en-informatique-et-en-automatique) | 78-Rocquencourt | 136 | 2-7261-0342-1 |