学术探索
学术期刊
新闻热点
数据分析
智能评审
立即登录
Automated mathematical induction - Preface
被引:31
作者
:
Zhang, H
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV IOWA,IOWA CITY,IA 52242
UNIV IOWA,IOWA CITY,IA 52242
Zhang, H
[
1
]
机构
:
[1]
UNIV IOWA,IOWA CITY,IA 52242
来源
:
JOURNAL OF AUTOMATED REASONING
|
1996年
/ 16卷
/ 1-2期
关键词
:
D O I
:
10.1007/BF00244457
中图分类号
:
TP18 [人工智能理论];
学科分类号
:
081104 ;
0812 ;
0835 ;
1405 ;
摘要
:
引用
收藏
页码:1 / 1
页数:1
相关论文
未找到相关数据
未找到相关数据