%0 Journal Article %1 journals/amai/DurdevicNJ15 %A Durdevic, Sana Stojanovic %A Narboux, Julien %A Janicic, Predrag %D 2015 %J Ann. Math. Artif. Intell. %K %N 3-4 %P 249-269 %T Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry. %U http://dblp.uni-trier.de/db/journals/amai/amai74.html#DurdevicNJ15 %V 74

@article{journals/amai/DurdevicNJ15, added-at = {2023-12-12T23:17:33.000+0100}, author = {Durdevic, Sana Stojanovic and Narboux, Julien and Janicic, Predrag}, biburl = {https://www.bibsonomy.org/bibtex/2ea156cb72f5633219cab32a3ae2aeca0/admin}, ee = {http://dx.doi.org/10.1007/s10472-014-9443-5}, interhash = {5420e7c7275f5751801579ae8556cd83}, intrahash = {ea156cb72f5633219cab32a3ae2aeca0}, journal = {Ann. Math. Artif. Intell.}, keywords = {}, number = {3-4}, pages = {249-269}, timestamp = {2023-12-12T23:17:33.000+0100}, title = {Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai74.html#DurdevicNJ15}, volume = 74, year = 2015 }