REFUTATIONAL THEOREM-PROVING USING TERM-REWRITING SYSTEMS

被引：102
|
作者：
HSIANG, J
机构：
来源：
ARTIFICIAL INTELLIGENCE | 1985年 / 25卷 / 03期
关键词：
D O I：
10.1016/0004-3702(85)90074-8
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：255 / 300
页数：46
相关论文
共 50 条
12345