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
Citace 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.
Citace podle MLA (9th 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..