%0 Conference Paper %1 conf/adg/JanicicQ06 %A Janicic, Predrag %A Quaresma, Pedro %B Automated Deduction in Geometry %D 2006 %E Botana, Francisco %E Recio, Tomás %I Springer %K dblp %P 39-51 %T Automatic Verification of Regular Constructions in Dynamic Geometry Systems. %U http://dblp.uni-trier.de/db/conf/adg/adg2006.html#JanicicQ06 %V 4869 %@ 978-3-540-77355-9

@inproceedings{conf/adg/JanicicQ06, added-at = {2019-09-25T00:00:00.000+0200}, author = {Janicic, Predrag and Quaresma, Pedro}, biburl = {https://www.bibsonomy.org/bibtex/2952ae6d37731b0a4744b50cab54a5906/dblp}, booktitle = {Automated Deduction in Geometry}, crossref = {conf/adg/2006}, editor = {Botana, Francisco and Recio, Tomás}, ee = {https://doi.org/10.1007/978-3-540-77356-6_3}, interhash = {8d56ff1bb454fae1c4b8f86e987c7af0}, intrahash = {952ae6d37731b0a4744b50cab54a5906}, isbn = {978-3-540-77355-9}, keywords = {dblp}, pages = {39-51}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:19:25.000+0200}, title = {Automatic Verification of Regular Constructions in Dynamic Geometry Systems.}, url = {http://dblp.uni-trier.de/db/conf/adg/adg2006.html#JanicicQ06}, volume = 4869, year = 2006 }