Karol Pak. Combining the Syntactic and Semantic Representations of Mizar Proofs. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018, Poznań, Poland, September 9-12, 2018. pages 145-153, 2018. [doi]
@inproceedings{Pak18,
title = {Combining the Syntactic and Semantic Representations of Mizar Proofs},
author = {Karol Pak},
year = {2018},
doi = {10.15439/2018F248},
url = {https://doi.org/10.15439/2018F248},
researchr = {https://researchr.org/publication/Pak18},
cites = {0},
citedby = {0},
pages = {145-153},
booktitle = {Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018, Poznań, Poland, September 9-12, 2018},
editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki},
isbn = {978-83-949419-7-0},
}