- 1
olivier pons
1
Documents
Identifiants chercheurs
- olivier-pons
- 0000-0001-6423-8630
- IdRef : 183634497
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
|
Graphes de dépendance pour les démonstrateurs de théorèmes intéractifsRR-4052, INRIA. 2000
Rapport
inria-00072585v1
|