|
|
|
Volumn 1, Issue , 1981, Pages 530-531
|
|
OBVIOUS LOGICAL INFERENCES.
a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
AUTOMATIC PROOFCHECKING SYSTEMS;
AUTOMATING OBVIOUS INFERENCE;
EXPERIMENTS WITH FOL;
INFERENCES IN PREDICATE LOGIC;
OBVIOUS HERBRAND PROOFS;
LOGIC DESIGN;
|
|
EID: 0019648331
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (39)
|
|
References (0)
|
