文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Stephan Kessler
发表
Learning to prove in geometry: Learning from heuristic examples and how it can be supported
Stephan Kessler, Alexander Renkl, Tatjana S. Hilbert, 2008 .