%0 Journal Article %1 journals/jar/BraunN17 %A Braun, Gabriel %A Narboux, Julien %D 2017 %J J. Autom. Reason. %K %N 2 %P 209-230 %T A Synthetic Proof of Pappus' Theorem in Tarski's Geometry. %U http://dblp.uni-trier.de/db/journals/jar/jar58.html#BraunN17 %V 58

@article{journals/jar/BraunN17, added-at = {2023-12-14T16:12:18.000+0100}, author = {Braun, Gabriel and Narboux, Julien}, biburl = {https://www.bibsonomy.org/bibtex/2f786e1d7821d8fc2a0aed7705b28f593/admin}, ee = {https://doi.org/10.1007/s10817-016-9374-4}, interhash = {f4dc49d0829930c305b2540acf6223df}, intrahash = {f786e1d7821d8fc2a0aed7705b28f593}, journal = {J. Autom. Reason.}, keywords = {}, number = 2, pages = {209-230}, timestamp = {2023-12-14T16:12:18.000+0100}, title = {A Synthetic Proof of Pappus' Theorem in Tarski's Geometry.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar58.html#BraunN17}, volume = 58, year = 2017 }