PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem Proving - Archive ouverte HAL Accéder directement au contenu
N°Spécial De Revue/Special Issue Electronic Proceedings in Theoretical Computer Science Année : 2021

PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem Proving

Fichier principal
Vignette du fichier
pxtp21.pdf (1.89 Mo) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03443742 , version 1 (26-01-2022)

Identifiants

Citer

Chantal Keller, Mathias Fleury. PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem Proving. Electronic Proceedings in Theoretical Computer Science, 336, 61 p., 2021, ⟨10.4204/eptcs.336⟩. ⟨hal-03443742⟩
51 Consultations
45 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More