![](/img/cover-not-exists.png)
[IEEE Fifth IEEE International Conference on Advanced Learning Technologies (ICALT'05) - Kaohsiung, Taiwan (2005.07.5-2005.07.8)] Fifth IEEE International Conference on Advanced Learning Technologies (ICALT'05) - A dynamic geometry environment for learning theorem proving
Wing-Kwong Wong,, Bo-Yu Chan,, Sheng-Kai Yin,Year:
2005
Language:
english
DOI:
10.1109/icalt.2005.5
File:
PDF, 144 KB
english, 2005