Automated Discovery of Inductive Theorems
Automated Discovery of Inductive Theorems
复制标题
归纳定理的自动发现
DOI：
--
复制
发表时间：
--
影响因子：
--
通讯作者：
Alan Bundy (Author)
中科院分区：
文献类型：
--
作者：
Alan Bundy (Author)
登录
查看更多内容
小理论
DOI：
10.1007/3-540-55602-8_192
发表时间：
1992
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
W. Farmer;J. Guttman;F. Thayer
通讯作者：
F. Thayer
Rippling - 数学推理的元级指导
DOI：
10.1017/cbo9780511543326
发表时间：
2005
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
A. Bundy;D. Basin;D. Hutter;Andrew Ireland
通讯作者：
Andrew Ireland
DOI：
10.1007/bf00244460
发表时间：
1996-03-01
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
--
作者：
Ireland, A;Bundy, A
通讯作者：
Bundy, A
DOI：
10.1016/j.entcs.2005.11.021
发表时间：
2006
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
R. McCasland;A. Bundy;Patrick F. Smith
通讯作者：
Patrick F. Smith
归纳证明的分歧批评家
DOI：
10.1613/jair.275
发表时间：
1996
期刊：
ArXiv
影响因子：
--
作者：
T. Walsh
通讯作者：
T. Walsh