# Contribution à l'étude du raisonnement temporel : résolution avec contraintes et application à l'abduction en raisonnement temporel

> Fiche œuvre du catalogue https://superlivre.fr/livre/contribution-a-letude-du-raisonnement-temporel-cb357856839 (données du dépôt légal BnF).

- **Auteur** : [Nicolas Chleq](https://superlivre.fr/auteur/nicolas-chleq-cb13050088v)
- **Première parution** : 1995
- **Langue** : français
- **Genres** : [Intelligence artificielle](https://superlivre.fr/genre/intelligence-artificielle-cb11932084t), [Logique temporelle](https://superlivre.fr/genre/logique-temporelle-cb119459320)
- **Éditions recensées** : 1 (1995–1995)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1995 | [INRIA](https://superlivre.fr/editeur/inria) | [Le Chesnay] | 197 |  |