# Vers un environnement d'aide au développement de preuves en sémantique naturelle

> Fiche œuvre du catalogue https://superlivre.fr/livre/vers-un-environnement-daide-au-developpement-de-preuves-en-semantique-naturelle-cb35812321x (données du dépôt légal BnF).

- **Auteur** : [Delphine Terrasse](https://superlivre.fr/auteur/delphine-terrasse-cb12566137m)
- **Première parution** : 1996
- **Langue** : français
- **Éditions recensées** : 1 (1996–1996)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1996 | [INRIA](https://superlivre.fr/editeur/inria) | [Le Chesnay | 175 | 2-7261-0947-0 |