%0 Conference Paper %1 conf/diagrams/Miller06 %A Miller, Nathaniel %B Diagrams %D 2006 %E Barker-Plummer, Dave %E Cox, Richard %E Swoboda, Nik %I Springer %K dblp %P 127-129 %T Extended Abstract of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry. %U http://dblp.uni-trier.de/db/conf/diagrams/diagrams2006.html#Miller06 %V 4045 %@ 3-540-35623-1

@inproceedings{conf/diagrams/Miller06, added-at = {2017-05-26T00:00:00.000+0200}, author = {Miller, Nathaniel}, biburl = {https://www.bibsonomy.org/bibtex/254caec1f6e87f3d001e322747d3bd56b/dblp}, booktitle = {Diagrams}, crossref = {conf/diagrams/2006}, editor = {Barker-Plummer, Dave and Cox, Richard and Swoboda, Nik}, ee = {https://doi.org/10.1007/11783183_16}, interhash = {84da012bba73ee60c6ea11765e50dd6c}, intrahash = {54caec1f6e87f3d001e322747d3bd56b}, isbn = {3-540-35623-1}, keywords = {dblp}, pages = {127-129}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:37:36.000+0200}, title = {Extended Abstract of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry.}, url = {http://dblp.uni-trier.de/db/conf/diagrams/diagrams2006.html#Miller06}, volume = 4045, year = 2006 }