Book Sections
Year : 2013
Sylvie Boldo : Connect in order to contact the contributor
https://hal.inria.fr/hal-01767900
Submitted on : Monday, April 16, 2018-5:15:47 PM
Last modification on : Sunday, June 26, 2022-12:09:18 PM
Dates and versions
Identifiers
- HAL Id : hal-01767900 , version 1
Cite
Sylvie Boldo, Guillaume Melquiond. Arithmétique des ordinateurs et preuves formelles. Informatique mathématique : Une photographie en 2013, 2013. ⟨hal-01767900⟩
Relations
63
View
0
Download