cl-banner

Proof eXchange for Theorem Proving (PxTP 2015)

Cezary Kaliszyk and Andrei Paskevich (eds.)

Proceedings of the 4th Workshop, Electronic Proceedings in Theoretical Computer Science 186, 2015.

 

    doi:10.4204/EPTCS.186

BibTeX 

@proceedings{PXTP2015,
editor = "Cezary Kaliszyk and Andrei Paskevich",
title = "Proceedings of the 4th Workshop on Proof eXchange for Theorem Proving (PxTP 2015)",
series = "Electronic Proceedings in Theoretical Computer Science",
volume = 186,
year = 2015,
doi = "10.4204/EPTCS.186"
}
Nach oben scrollen