Automated mathematical induction - Preface

被引:31
作者
Zhang, H [1 ]
机构
[1] UNIV IOWA,IOWA CITY,IA 52242
关键词
D O I
10.1007/BF00244457
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
引用
收藏
页码:1 / 1
页数:1
相关论文
empty
未找到相关数据