Rapport
(Rapport De Recherche)
Année : 2001
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01124730
Soumis le : vendredi 6 mars 2015-10:45:50
Dernière modification le : vendredi 19 juillet 2024-11:38:04
Dates et versions
Identifiants
- HAL Id : hal-01124730 , version 1
Citer
Régine Laleau, Amel Mammar. Réutilisation des preuves dans le processus de raffinement B. [Research Report] CEDRIC-01-377, CEDRIC Lab/CNAM. 2001. ⟨hal-01124730⟩
Collections
73
Consultations
0
Téléchargements