文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Thomas J. Kelanic
发表
Theorem-Proving With Euclid: Artifically Intelligent CAI In Extended BASIC.
Thomas J. Kelanic, 1978 .