%0 Conference Paper %1 conf/icalt/WongCY05 %A Wong, Wing-Kwong %A Chan, Bo-Yu %A Yin, Sheng-Kai %B ICALT %D 2005 %I IEEE Computer Society %K dblp %P 15-17 %T A Dynamic Geometry Environment for Learning Theorem Proving. %U http://dblp.uni-trier.de/db/conf/icalt/icalt2005.html#WongCY05 %@ 0-7695-2338-2

@inproceedings{conf/icalt/WongCY05, added-at = {2023-03-23T00:00:00.000+0100}, author = {Wong, Wing-Kwong and Chan, Bo-Yu and Yin, Sheng-Kai}, biburl = {https://www.bibsonomy.org/bibtex/2fc3ee4da16ab4a6b00e1b29f7f01df3d/dblp}, booktitle = {ICALT}, crossref = {conf/icalt/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICALT.2005.5}, interhash = {a52496706596ea3699f8aa1dd8322296}, intrahash = {fc3ee4da16ab4a6b00e1b29f7f01df3d}, isbn = {0-7695-2338-2}, keywords = {dblp}, pages = {15-17}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T21:10:00.000+0200}, title = {A Dynamic Geometry Environment for Learning Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/icalt/icalt2005.html#WongCY05}, year = 2005 }