BibTex format @inproceedings{Broda:2019,author = {Broda, K and Dore, M},title = {Towards Intuitive Reasoning in Axiomatic Geometry},year = {2019}} Download
RIS format (EndNote, RefMan) TY - CPAPERAU - Broda,KAU - Dore,MPY - 2019///SN - 2075-2180TI - Towards Intuitive Reasoning in Axiomatic GeometryER - Download