Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving

This volume of EPTCS contains the proceedings of the Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017), held on September 23-24, 2017 as part of the Tableaux, FroCoS and ITP conferences in Brasilia, Brazil. The PxTP workshop series brings together researchers working on various aspect...

Full description

Bibliographic Details

Published in:	arXiv.org
Main Authors:	Dubois, Catherine, Bruno Woltzenlogel Paleo
Format:	Paper
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 04.12.2017
Subjects:	Automation Cooperation Deduction Exchanging Formalism Reasoning Theorem proving
ISSN:	2331-8422
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!