SOME OBSTACLES TO THE AUTOMATION OF REASONING, AND THE PROBLEM OF REDUNDANT INFORMATION.

被引:0
|
作者
Wos, Larry [1 ]
机构
[1] Argonne Natl Lab, Argonne, IL, USA, Argonne Natl Lab, Argonne, IL, USA
来源
Journal of Automated Reasoning | 1987年 / 3卷 / 01期
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:81 / 90
相关论文
共 50 条