Christoph Schwarzweller. Developing Field Theory in Mizar. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, Dominik Slezak, editors, Proceedings of the 18th Conference on Computer Science and Intelligence Systems, FedCSIS 2023, Warsaw, Poland, September 17-20, 2023. Volume 35 of Annals of Computer Science and Information Systems, pages 303-308, 2023. [doi]
@inproceedings{Schwarzweller23,
title = {Developing Field Theory in Mizar},
author = {Christoph Schwarzweller},
year = {2023},
doi = {10.15439/2023F3409},
url = {https://doi.org/10.15439/2023F3409},
researchr = {https://researchr.org/publication/Schwarzweller23},
cites = {0},
citedby = {0},
pages = {303-308},
booktitle = {Proceedings of the 18th Conference on Computer Science and Intelligence Systems, FedCSIS 2023, Warsaw, Poland, September 17-20, 2023},
editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki and Dominik Slezak},
volume = {35},
series = {Annals of Computer Science and Information Systems},
isbn = {978-83-969601-0-8},
}