Skip to Main content Skip to Navigation
Journal articles

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

Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01095761
Contributor : Laurent Thery <>
Submitted on : Tuesday, December 16, 2014 - 10:55:14 AM
Last modification on : Wednesday, January 8, 2020 - 11:04:18 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

203