Dubois, C., & Paleo, B. W. (2017, December 4). Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving. arXiv.org. https://doi.org/10.48550/arxiv.1712.00898
Citácia podle Chicago (17th ed.)Dubois, Catherine, a Bruno Woltzenlogel Paleo. "Proceedings of the Fifth Workshop on Proof EXchange for Theorem Proving." ArXiv.org 4 Dec. 2017. https://doi.org/10.48550/arxiv.1712.00898.
Citácia podľa MLA (8th ed.)Dubois, Catherine, a Bruno Woltzenlogel Paleo. "Proceedings of the Fifth Workshop on Proof EXchange for Theorem Proving." ArXiv.org, 4 Dec. 2017, https://doi.org/10.48550/arxiv.1712.00898.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..