%0 Conference Paper %1 conf/iccsa/PhamBN11 %A Pham, Tuan-Minh %A Bertot, Yves %A Narboux, Julien %B ICCSA (4) %D 2011 %E Murgante, Beniamino %E Gervasi, Osvaldo %E Iglesias, Andrés %E Taniar, David %E Apduhan, Bernady O. %I Springer %K dblp %P 368-383 %T A Coq-Based Library for Interactive and Automated Theorem Proving in Plane Geometry. %U http://dblp.uni-trier.de/db/conf/iccsa/iccsa2011-4.html#PhamBN11 %V 6785 %@ 978-3-642-21897-2

@inproceedings{conf/iccsa/PhamBN11, added-at = {2017-05-24T00:00:00.000+0200}, author = {Pham, Tuan-Minh and Bertot, Yves and Narboux, Julien}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c613c65e5eeff1ee96185c6e3bdd72ac/dblp}, booktitle = {ICCSA (4)}, crossref = {conf/iccsa/2011-4}, editor = {Murgante, Beniamino and Gervasi, Osvaldo and Iglesias, Andrés and Taniar, David and Apduhan, Bernady O.}, ee = {https://doi.org/10.1007/978-3-642-21898-9_32}, interhash = {e7cb450d8620cfd088bfb640e6103641}, intrahash = {c613c65e5eeff1ee96185c6e3bdd72ac}, isbn = {978-3-642-21897-2}, keywords = {dblp}, pages = {368-383}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:08:08.000+0200}, title = {A Coq-Based Library for Interactive and Automated Theorem Proving in Plane Geometry.}, url = {http://dblp.uni-trier.de/db/conf/iccsa/iccsa2011-4.html#PhamBN11}, volume = 6785, year = 2011 }