Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science

Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01095761
Contributor : Laurent Thery <>
Submitted on : Tuesday, December 16, 2014 - 10:55:14 AM
Last modification on : Friday, February 15, 2019 - 1:22:29 AM

Links full text

Identifiers

Collections

Citation

Laurent Théry, Freek Wiedijk. Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science. International Journal of Mathematics and Computer Science, 2014, pp.1-3. ⟨10.1007/s11786-014-0214-9⟩. ⟨hal-01095761⟩

Share

Metrics

Record views

152