FINDING RESOLUTION PROOFS AND USING DUPLICATE GOALS IN AND/OR TREES

被引：4

作者：

SLAGLE, JR

KONIVER, DA

机构：

来源：

关键词：

D O I：

10.1016/S0020-0255(71)80013-0

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：315 / &

共 37 条

[31]

SLAGLE JR, 1969, P INT JOINT C ART IN

TONGE, FM .

[33]

WALDINGER RJ, 1969, P INT JOINT C ART IN

WOS, L ;

ROBINSON, GA ;

CARSON, DF .

[35]

WOS L, 1964 P FALL JOINT CO, P616

[36]

WOS LT, UNPUBLISHED

[37]

[No title captured]