Automated Theory Formation: The Next Generation
Automated Theory Formation: The Next Generation
复制标题
自动理论形成：下一代
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Pease.A
中科院分区：
文献类型：
--
作者：
Pease.A
登录
查看更多内容
DOI：
--
发表时间：
1984
期刊：
PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association
影响因子：
--
作者：
P. Maddy
通讯作者：
P. Maddy
影响因子：
1.7
作者：
E. Knobloch
通讯作者：
E. Knobloch
数学实践的视角——数学哲学、数学社会学和数学教育的结合
影响因子：
5.3
作者：
B. Kerkhove;J. P. Bendegem
通讯作者：
J. P. Bendegem
以真实案例探讨数学实践的跨学科研究
DOI：
10.1007/1-4020-5034-8_13
发表时间：
2007
期刊：
International Studies in Philosophy
影响因子：
--
作者：
R. Hersh
通讯作者：
R. Hersh
通过自动推理工具的组合得出拟群和循环理论的分类结果
影响因子：
0.2
作者：
Alan Bundy (Author)
通讯作者：
Alan Bundy (Author)