SUBSUMPTION AND IMPLICATION

被引：48

作者：

GOTTLOB, G

机构：

来源：

关键词：

D O I：

10.1016/0020-0190(87)90103-7

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：109 / 111

页数：3

相关论文

共 8 条

[1]

[Anonymous], SYMBOLIC LOGIC MECHA

[2]

Clocksin W. F., 1981, PROGRAMMING PROLOG

[3]

GOTTLOB G, 1985, LECT NOTES COMPUT SC, V204, P64

[4] ON THE EFFICIENCY OF SUBSUMPTION ALGORITHMS [J].

GOTTLOB, G ;

LEITSCH, A .

[5]

Loveland D.W., 1978, AUTOMATED THEOREM PR, DOI DOI 10.1016/0378-4754(80)90081-6

[6]

[No title captured]

[7]

[No title captured]

[8]

[No title captured]