Heterogeneous Theorem Proving, Certification, and Integrated Automation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Heterogeneous Theorem Proving, Certification, and Integrated Automation

John Harrison (1)
John Harrison
  • Fonction : Auteur
  • PersonId : 865917
INTEL

Domaines

Logique en informatique [cs.LO]

Pascal Fontaine  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00677577

Soumis le : jeudi 8 mars 2012-17:51:37

Dernière modification le : jeudi 8 mars 2012-17:51:37

Fichier non déposé

Dates et versions

hal-00677577 , version 1 (08-03-2012)

Identifiants

  • HAL Id : hal-00677577 , version 1

Citer

John Harrison. Heterogeneous Theorem Proving, Certification, and Integrated Automation. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland. ⟨hal-00677577⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PXTP11
20 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More