Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving
Overview
publication date
- December 4, 2017
published in
Identity
Digital Object Identifier (DOI)
Additional Document Info
has global citation frequency
- https://vivo.tib.eu/demo/individual/gcf_W2775495531 Global Citation Count
volume
- 262