Induction as Consequence Finding
Induction as Consequence Finding
复制标题
归纳作为结果发现
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Katsumi Inoue
中科院分区：
文献类型：
--
作者：
Haruto Takeda;Takuya Nishimoto;Shigeki Sagayama;Katsumi Inoue
登录
查看更多内容
DOI：
10.1016/s0304-3975(02)00416-4
发表时间：
2003-04
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Akihiro Yamamoto
通讯作者：
Akihiro Yamamoto
影响因子：
14.4
作者：
Wray L. Buntine
通讯作者：
Wray L. Buntine
Prolog 技术定理证明器：扩展 Prolog 编译器的实现
DOI：
10.1007/bf00297245
发表时间：
1986
期刊：
Journal of automated reasoning
影响因子：
--
作者：
M. Stickel
通讯作者：
M. Stickel
作为非单调推理的归纳法
DOI：
--
发表时间：
1989
期刊：
--
影响因子：
--
作者：
Nicolas Helft
通讯作者：
Nicolas Helft
ECAI96 溯因推理和归纳推理研讨会论文集
DOI：
--
发表时间：
1996
期刊：
影响因子：
--
作者：
Peter A. Flach;A. Kakas
通讯作者：
A. Kakas