Proceedings Fourth Workshop on Proof eXchange for Theorem Proving
Work
Year: 2015
Type: paratext
Abstract: This volume of EPTCS contains the proceedings of the Fourth Workshop on Proof Exchange for Theorem Proving (PxTP 2015), held as part of the International Conference on Automated Deduction (CADE 2015) ... more
Authors Cezary Kaliszyk, Andrei Paskevich
Cites:
Cited by: 2
Related to: 10
Citation percentile (by year/subfield): 79.97
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Partnerships for the goals
Open Access status: diamond