学霸图书馆
首页
下载客户端
登录
游客
会员中心
修改密码
VIP升级
退出登录
发现好书期刊,享受阅读乐趣
海量图书期刊资源,随时随地畅享阅读乐趣
全部
期刊
图书
搜索
On Mathematical Proving
Stefaneas, Petros; Vandoulakis, Ioannis M.
期刊名称
Journal of Artificial General Intelligence
作者
Stefaneas, Petros; Vandoulakis, Ioannis M.
卷
第6卷
期
第1期
电子ISSN
1946-0163
文件大小
1163.75KB
发表时间
2015-01-1
DOI
10.1515/jagi-2015-0007
← 返回【学霸图书馆】主页