%0 Journal Article %1 journals/ijiids/WongHYYCHW09 %A Wong, Wing-Kwong %A Huang, Chun-Wei %A Yin, Sheng-Kai %A Yang, Hsi-Hsun %A Chen, Bo-Yu %A Hsu, Sheng-Cheng %A Wu, Shih-Hung %D 2009 %J Int. J. Intell. Inf. Database Syst. %K dblp %N 3 %P 231-245 %T A computer-assisted environment for understanding geometry theorem proving problems and making conjectures. %U http://dblp.uni-trier.de/db/journals/ijiids/ijiids3.html#WongHYYCHW09 %V 3

@article{journals/ijiids/WongHYYCHW09, added-at = {2023-10-22T00:00:00.000+0200}, author = {Wong, Wing-Kwong and Huang, Chun-Wei and Yin, Sheng-Kai and Yang, Hsi-Hsun and Chen, Bo-Yu and Hsu, Sheng-Cheng and Wu, Shih-Hung}, biburl = {https://www.bibsonomy.org/bibtex/20b3045761d8e8cb5cd27f753a973f5dd/dblp}, ee = {https://www.wikidata.org/entity/Q122929460}, interhash = {4094fa6dd6c505def478d6b68a03c972}, intrahash = {0b3045761d8e8cb5cd27f753a973f5dd}, journal = {Int. J. Intell. Inf. Database Syst.}, keywords = {dblp}, number = 3, pages = {231-245}, timestamp = {2024-04-08T19:22:37.000+0200}, title = {A computer-assisted environment for understanding geometry theorem proving problems and making conjectures.}, url = {http://dblp.uni-trier.de/db/journals/ijiids/ijiids3.html#WongHYYCHW09}, volume = 3, year = 2009 }