[ACM Press the 15th international conference - Hong Kong, China (2010.02.07-2010.02.10)] Proceedings of the 15th international conference on Intelligent user interfaces - IUI '10 - Intelligent understanding of handwritten geometry theorem proving
Jiang, Yingying, Tian, Feng, Wang, Hongan, Zhang, Xiaolong, Wang, Xugang, Dai, GuozhongYear:
2010
Language:
english
DOI:
10.1145/1719970.1719988
File:
PDF, 643 KB
english, 2010