Books
Year : 2004
Pierre Castéran : Connect in order to contact the contributor
https://hal.science/hal-00344237
Submitted on : Thursday, December 4, 2008-11:21:45 AM
Last modification on : Saturday, June 25, 2022-11:00:05 PM
Dates and versions
Identifiers
- HAL Id : hal-00344237 , version 1
Cite
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⟩
1988
View
0
Download