文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Carlos Beltran Álvarez
发表
The moment of truth, in automatic theorem proving in elementary geometry: (extended abstract)
Carlos Beltran Álvarez, G. Dalzotto, Tomás Jesús Recio Muñiz, 2006 .