%0 Conference Paper %1 conf/adg/LiangW04 %A Liang, Tielin %A Wang, Dongming %B Automated Deduction in Geometry %D 2004 %E Hong, Hoon %E Wang, Dongming %I Springer %K dblp %P 130-155 %T Towards a Geometric-Object-Oriented Language. %U http://dblp.uni-trier.de/db/conf/adg/adg2004.html#LiangW04 %V 3763 %@ 3-540-31332-X

@inproceedings{conf/adg/LiangW04, added-at = {2019-11-19T00:00:00.000+0100}, author = {Liang, Tielin and Wang, Dongming}, biburl = {https://www.bibsonomy.org/bibtex/2476108786c52c51b03edb720cd79d52e/dblp}, booktitle = {Automated Deduction in Geometry}, crossref = {conf/adg/2004}, editor = {Hong, Hoon and Wang, Dongming}, ee = {https://doi.org/10.1007/11615798_9}, interhash = {f5a147fc9be0f7b352b890410d1ac70c}, intrahash = {476108786c52c51b03edb720cd79d52e}, isbn = {3-540-31332-X}, keywords = {dblp}, pages = {130-155}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-20T11:40:27.000+0100}, title = {Towards a Geometric-Object-Oriented Language.}, url = {http://dblp.uni-trier.de/db/conf/adg/adg2004.html#LiangW04}, volume = 3763, year = 2004 }