Communication Dans Un Congrès
Année : 2015
Connectez-vous pour contacter le contributeur
https://hal.science/hal-03193111
Soumis le : jeudi 8 avril 2021-15:34:49
Dernière modification le : mercredi 22 octobre 2025-18:04:08
Dates et versions
Identifiants
- HAL Id : hal-03193111 , version 1
Citer
Érik Martin-Dorel. Formal proofs and certified computation in Coq (The French Symposium on Games - Theory and Applications, Université Paris Diderot, 26/05/15-30/05/15). French Symposium on Games - Theory and Applications 2015 (Dedicated to the memory of John Nash), May 2015, Paris, France. ⟨hal-03193111⟩
Collections
128
Consultations
0
Téléchargements