Chapitre D'ouvrage
Année : 2013
Sylvie Boldo : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01767900
Soumis le : lundi 16 avril 2018-17:15:47
Dernière modification le : mercredi 14 février 2024-03:09:35
Dates et versions
Identifiants
- HAL Id : hal-01767900 , version 1
Citer
Sylvie Boldo, Guillaume Melquiond. Arithmétique des ordinateurs et preuves formelles. Informatique mathématique : Une photographie en 2013, 2013. ⟨hal-01767900⟩
Relations
89
Consultations
0
Téléchargements