@inproceedings{conf/adg/BraunN12,
  added-at = {2025-05-31T00:00:00.000+0200},
  author = {Braun, Gabriel and Narboux, Julien},
  biburl = {https://www.bibsonomy.org/bibtex/295203c27c55c1dd09717bd2304d3c49d/dblp},
  booktitle = {Automated Deduction in Geometry},
  crossref = {conf/adg/2012},
  editor = {Ida, Tetsuo and Fleuriot, Jacques D.},
  ee = {https://doi.org/10.1007/978-3-642-40672-0_7},
  interhash = {609b6df526d5b0d78a07f09892c7e3e9},
  intrahash = {95203c27c55c1dd09717bd2304d3c49d},
  isbn = {978-3-642-40671-3},
  keywords = {dblp},
  pages = {89-109},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2025-06-02T07:50:23.000+0200},
  title = {From Tarski to Hilbert.},
  url = {http://dblp.uni-trier.de/db/conf/adg/adg2012.html#BraunN12},
  volume = 7993,
  year = 2012
}

{"_id":"KrEnG8N39MEtxStNT","bibbaseid":"braun-narboux-fromtarskitohilbert-2012","author_short":["Braun, G.","Narboux, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2025-05-31T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Braun"],"firstnames":["Gabriel"],"suffixes":[]},{"propositions":[],"lastnames":["Narboux"],"firstnames":["Julien"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/295203c27c55c1dd09717bd2304d3c49d/dblp","booktitle":"Automated Deduction in Geometry","crossref":"conf/adg/2012","editor":[{"propositions":[],"lastnames":["Ida"],"firstnames":["Tetsuo"],"suffixes":[]},{"propositions":[],"lastnames":["Fleuriot"],"firstnames":["Jacques","D."],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-642-40672-0_7","interhash":"609b6df526d5b0d78a07f09892c7e3e9","intrahash":"95203c27c55c1dd09717bd2304d3c49d","isbn":"978-3-642-40671-3","keywords":"dblp","pages":"89-109","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2025-06-02T07:50:23.000+0200","title":"From Tarski to Hilbert.","url":"http://dblp.uni-trier.de/db/conf/adg/adg2012.html#BraunN12","volume":"7993","year":"2012","bibtex":"@inproceedings{conf/adg/BraunN12,\n added-at = {2025-05-31T00:00:00.000+0200},\n author = {Braun, Gabriel and Narboux, Julien},\n biburl = {https://www.bibsonomy.org/bibtex/295203c27c55c1dd09717bd2304d3c49d/dblp},\n booktitle = {Automated Deduction in Geometry},\n crossref = {conf/adg/2012},\n editor = {Ida, Tetsuo and Fleuriot, Jacques D.},\n ee = {https://doi.org/10.1007/978-3-642-40672-0_7},\n interhash = {609b6df526d5b0d78a07f09892c7e3e9},\n intrahash = {95203c27c55c1dd09717bd2304d3c49d},\n isbn = {978-3-642-40671-3},\n keywords = {dblp},\n pages = {89-109},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2025-06-02T07:50:23.000+0200},\n title = {From Tarski to Hilbert.},\n url = {http://dblp.uni-trier.de/db/conf/adg/adg2012.html#BraunN12},\n volume = 7993,\n year = 2012\n}\n\n","author_short":["Braun, G.","Narboux, J."],"editor_short":["Ida, T.","Fleuriot, J. D."],"key":"conf/adg/BraunN12","id":"conf/adg/BraunN12","bibbaseid":"braun-narboux-fromtarskitohilbert-2012","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-642-40672-0_7","Paper":"http://dblp.uni-trier.de/db/conf/adg/adg2012.html#BraunN12"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/braun?items=1000","dataSources":["moGHosEp2wsfFe7LR"],"keywords":["dblp"],"search_terms":["tarski","hilbert","braun","narboux"],"title":"From Tarski to Hilbert.","year":2012}