Ouvrages
Année : 2004
Pierre Castéran : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00344237
Soumis le : jeudi 4 décembre 2008-11:21:45
Dernière modification le : vendredi 24 mars 2023-14:52:51
Dates et versions
Identifiants
- HAL Id : hal-00344237 , version 1
Citer
Pierre Castéran, Yves Bertot. Interactive theorem proving and program development. Coq'Art: The Calculus of inductive constructions.. Springer Verlag, pp.470, 2004, Texts in Theoretical Computer Science. ⟨hal-00344237⟩
2132
Consultations
0
Téléchargements