文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Moayyed A Hussain
发表
Using a computer for automatic proving of geometric theorems
Ben Noble, Moayyed A Hussain, Michael A Drew, 1986 .