%0 Conference Paper %1 conf/cade/Wang96 %A Wang, Dongming %B CADE %D 1996 %E McRobbie, Michael A. %E Slaney, John K. %I Springer %K dblp %P 166-170 %T GEOTHER: A Geometry Theorem Prover. %U http://dblp.uni-trier.de/db/conf/cade/cade96.html#Wang96 %V 1104 %@ 3-540-61511-3

@inproceedings{conf/cade/Wang96, added-at = {2019-11-19T00:00:00.000+0100}, author = {Wang, Dongming}, biburl = {https://www.bibsonomy.org/bibtex/223a39a35170d3025e6ad426ac7765bc4/dblp}, booktitle = {CADE}, crossref = {conf/cade/1996}, editor = {McRobbie, Michael A. and Slaney, John K.}, ee = {https://doi.org/10.1007/3-540-61511-3_78}, interhash = {1294409fcbccf44b27ea5a6a10eae446}, intrahash = {23a39a35170d3025e6ad426ac7765bc4}, isbn = {3-540-61511-3}, keywords = {dblp}, pages = {166-170}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-20T11:45:46.000+0100}, title = {GEOTHER: A Geometry Theorem Prover.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade96.html#Wang96}, volume = 1104, year = 1996 }