# François Fages

> Fiche auteur du catalogue https://superlivre.fr/auteur/francois-fages-cb12506475r (données du dépôt légal BnF, enrichies Wikidata).

- **Dates** : 1959–
- **Occupation** : bioinformaticien
- **Nationalité** : France
- **Œuvres au catalogue** : 2 (1983–1996)
- **Pagination médiane** : 160 pages
- **Wikidata** : https://www.wikidata.org/wiki/Q27863085
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb12506475r

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1983 | [Formes canoniques dans les algèbres booléennes et application à la démonstration automatique en logique de premier ordre](https://superlivre.fr/livre/formes-canoniques-dans-les-algebres-booleennes-et-application-a-la-demonstration-cb36101033k) | [Institut national de recherche en informatique et en automatique](https://superlivre.fr/editeur/institut-national-de-recherche-en-informatique-et-en-automatique) | 136 |
| 1996 | [Programmation logique par contraintes](https://superlivre.fr/livre/programmation-logique-par-contraintes-10d4288b7954) | [Ellipses](https://superlivre.fr/editeur/ellipses) | 183 |

## En tant que contributeur

- 1999 — [JFPLC'99](https://superlivre.fr/livre/jfplc99-cb37043318s) de Journées francophones de programmation logique et programmation par contraintes (08 ; 1999 ; Lyon)

## Éditeurs principaux

- [Ellipses](https://superlivre.fr/editeur/ellipses) — 1 œuvres
- [Institut national de recherche en informatique et en automatique](https://superlivre.fr/editeur/institut-national-de-recherche-en-informatique-et-en-automatique) — 1 œuvres