Communication Dans Un Congrès
Année : 2015
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03193111
Soumis le : jeudi 8 avril 2021-15:34:49
Dernière modification le : mardi 13 février 2024-03:25:17
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
23
Consultations
0
Téléchargements