ACL2(ml): Machine-Learning for ACL2
ACL2(ml): Machine-Learning for ACL2
复制标题
ACL2(ml)：ACL2 的机器学习
DOI：
10.4204/eptcs.152.5
复制
发表时间：
2014
影响因子：
--
通讯作者：
Heras J
中科院分区：
文献类型：
--
作者：
Heras J
登录
查看更多内容
ACL2(ml)：ACL2 的机器学习
影响因子：
--
作者：
Heras J
通讯作者：
Heras J
DOI：
10.1006/inco.1999.2857
发表时间：
2000
期刊：
Inf. Comput.
影响因子：
--
作者：
J. Denzinger;S. Schulz
通讯作者：
S. Schulz
影响因子：
1.1
作者：
D. Greve;Matt Kaufmann;P. Manolios;J. S. Moore;S. Ray;J. Ruiz;R. Sumners;D. Vroon;M. Wilding
通讯作者：
M. Wilding
Rippling - 数学推理的元级指导
DOI：
10.1017/cbo9780511543326
发表时间：
2005
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
A. Bundy;D. Basin;D. Hutter;Andrew Ireland
通讯作者：
Andrew Ireland
定理生成的人力资源计划
DOI：
10.1007/3-540-45620-1_24
发表时间：
2002
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
S. Colton
通讯作者：
S. Colton