# Thérèse Accart Hardin

> Fiche auteur du catalogue https://superlivre.fr/auteur/therese-accart-hardin-cb12273601z (données du dépôt légal BnF, enrichies Wikidata).

- **Œuvres au catalogue** : 3 (1987–1992)
- **Pagination médiane** : 409 pages
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb12273601z

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1987 | [Résultats de confluence pour les règles fortes de la logique](https://superlivre.fr/livre/resultats-de-confluence-pour-les-regles-fortes-de-la-logique-cb37605809w) | [ANRT](https://superlivre.fr/editeur/anrt) |  |
| 1988 | [Résultats de confluence pour les règles fortes de la logique combinatoire catégorique et liens avec les lambda-calculs](https://superlivre.fr/livre/resultats-de-confluence-pour-les-regles-fortes-de-la-logique-combinatoire-catego-cb349323143) | [Institut national de recherche en informatique et en automatique](https://superlivre.fr/editeur/institut-national-de-recherche-en-informatique-et-en-automatique) | 237 |
| 1992 | [Concepts et outils de programmation](https://superlivre.fr/livre/concepts-et-outils-de-programmation-aaa60d95b977) | [Interéd.](https://superlivre.fr/editeur/intered) | 581 |

## Éditeurs principaux

- [ANRT](https://superlivre.fr/editeur/anrt) — 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
- [Interéd.](https://superlivre.fr/editeur/intered) — 1 œuvres