%0 Conference Paper %1 conf/adg/ContiT00 %A Conti, Pasqualina %A Traverso, Carlo %B Automated Deduction in Geometry %D 2000 %E Richter-Gebert, Jürgen %E Wang, Dongming %I Springer %K dblp %P 83-103 %T Algebraic and Semialgebraic Proofs: Methods and Paradoxes. %U http://dblp.uni-trier.de/db/conf/adg/adg2000.html#ContiT00 %V 2061 %@ 3-540-42598-5

@inproceedings{conf/adg/ContiT00, added-at = {2017-05-25T00:00:00.000+0200}, author = {Conti, Pasqualina and Traverso, Carlo}, biburl = {https://www.bibsonomy.org/bibtex/23a50d6b409fd5d6eac03b1f34f4ce644/dblp}, booktitle = {Automated Deduction in Geometry}, crossref = {conf/adg/2000}, editor = {Richter-Gebert, Jürgen and Wang, Dongming}, ee = {https://doi.org/10.1007/3-540-45410-1_6}, interhash = {ae292b783b9ff1904bcc9d96e5b72514}, intrahash = {3a50d6b409fd5d6eac03b1f34f4ce644}, isbn = {3-540-42598-5}, keywords = {dblp}, pages = {83-103}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-20T11:40:27.000+0100}, title = {Algebraic and Semialgebraic Proofs: Methods and Paradoxes.}, url = {http://dblp.uni-trier.de/db/conf/adg/adg2000.html#ContiT00}, volume = 2061, year = 2000 }