# Jean-Yves Cras

> Fiche auteur du catalogue https://superlivre.fr/auteur/jean-yves-cras-cb12331535v (données du dépôt légal BnF, enrichies Wikidata).

- **Œuvres au catalogue** : 1 (1987–1987)
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb12331535v

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1987 | [Une Approche ensembliste pour l'intégration de sortes et fonctions en PROLOG](https://superlivre.fr/livre/une-approche-ensembliste-pour-lintegration-de-sortes-et-fonctions-en-prolog-cb37604109q) | [ANRT](https://superlivre.fr/editeur/anrt) |  |

## Éditeurs principaux

- [ANRT](https://superlivre.fr/editeur/anrt) — 1 œuvres