![]() |
Volumn 31, Issue 1, 2003, Pages 11-21
|
Theorem Proving Based on the Extension Rule
a
JUIN UNIVERSITY
(China)
|
Author keywords
Complementary factor; Extension rule; Inclusion exclusion principle; Theorem proving
|
Indexed keywords
ALGORITHMS;
COMPUTATIONAL COMPLEXITY;
FORMAL LOGIC;
PROBLEM SOLVING;
EXTENSION RULE;
INCLUSION-EXCLUSION PRINCIPLE;
THEOREM PROVING;
|
EID: 0344927110
PISSN: 01687433
EISSN: None
Source Type: Journal
DOI: 10.1023/A:1027339205632 Document Type: Article |
Times cited : (69)
|
References (7)
|