第四届定理证明证明交换研讨会会议录
计算机科学中的逻辑
2015-07-31 v1
摘要
本卷 EPTCS 包含第四届定理证明证明交换研讨会（PxTP 2015）的会议录，该研讨会作为国际自动演绎会议（CADE 2015）的一部分于2015年8月2-3日在柏林举行。PxTP 研讨会系列汇聚了从事推理系统与形式化之间的通信、集成与合作各方面研究的研究人员。这些会议录包含七篇常规论文，以及 Georges Gonthier（微软研究院）和 Bart Jacobs（鲁汶大学）邀请报告的摘要。
引用
@article{arxiv.1507.08375,
title = {Proceedings Fourth Workshop on Proof eXchange for Theorem Proving},
author = {Cezary Kaliszyk and Andrei Paskevich},
journal= {arXiv preprint arXiv:1507.08375},
year = {2015}
}