Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science - INRIA - Institut National de Recherche en Informatique et en Automatique 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

Laurent Théry
Mathematical, Reasoning and Software
Freek Wiedijk
  • Fonction : Auteur
Institute for Computing and Information Sciences [Nijmegen]

Domaines

Logique en informatique [cs.LO]

Laurent Théry  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01095761

Soumis le : mardi 16 décembre 2014-10:55:14

Dernière modification le : jeudi 16 mars 2023-04:10:30

Consulter le texte intégral

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2
75 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More