Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Mathematics and Computer Science Année : 2014

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

Dates et versions

hal-01095761 , version 1 (16-12-2014)

Identifiants

Citer

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⟩

Collections

INRIA INRIA2
76 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More