The Theory behind Theory Mine
The Theory behind Theory Mine
复制标题
我的理论背后的理论
DOI：
10.1109/mis.2015.42
复制
发表时间：
2015
影响因子：
6.4
通讯作者：
Bundy A
中科院分区：
文献类型：
--
作者：
Bundy A
登录
查看更多内容
Rippling - 数学推理的元级指导
DOI：
10.1017/cbo9780511543326
发表时间：
2005
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
A. Bundy;D. Basin;D. Hutter;Andrew Ireland
通讯作者：
Andrew Ireland
DOI：
--
发表时间：
1991
期刊：
Computational Logic - Essays in Honor of Alan Robinson
影响因子：
--
作者：
A. Bundy
通讯作者：
A. Bundy
新伯努利版本
影响因子：
0.6
作者：
C. Truesdell
通讯作者：
C. Truesdell
DOI：
10.1007/s10817-010-9193-y
发表时间：
2011
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
Moa Johansson;L. Dixon;A. Bundy
通讯作者：
A. Bundy
高阶逻辑中的部分递归函数
DOI：
10.1007/11814771_48
发表时间：
2006
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
Alexander Krauss
通讯作者：
Alexander Krauss