메뉴 건너뛰기




Volumn 124, Issue 3, 2001, Pages 289-302

The Ł∏ and Ł∏1/2 propositional and predicate logics

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; PROBLEM SOLVING; THEOREM PROVING;

EID: 0035900861     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0165-0114(01)00099-9     Document Type: Article
Times cited : (38)

References (2)


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.