%0 Conference Paper %1 conf/compgeom/Rege95 %A Rege, Ashutosh %B SCG %D 1995 %E Snoeyink, Jack %I ACM %K dblp %P 277-286 %T A Complete and Practical Algorithm for Geometric Theorem Proving (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/compgeom/compgeom95.html#Rege95 %@ 0-89791-724-3

@inproceedings{conf/compgeom/Rege95, added-at = {2021-06-14T00:00:00.000+0200}, author = {Rege, Ashutosh}, biburl = {https://www.bibsonomy.org/bibtex/274be8757ac477dad0e91eddc96acfec2/dblp}, booktitle = {SCG}, crossref = {conf/compgeom/1995}, editor = {Snoeyink, Jack}, ee = {https://doi.org/10.1145/220279.220309}, interhash = {d200095b2465ab5c59421482087bc78f}, intrahash = {74be8757ac477dad0e91eddc96acfec2}, isbn = {0-89791-724-3}, keywords = {dblp}, pages = {277-286}, publisher = {ACM}, timestamp = {2024-04-09T14:33:09.000+0200}, title = {A Complete and Practical Algorithm for Geometric Theorem Proving (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/compgeom/compgeom95.html#Rege95}, year = 1995 }