메뉴 건너뛰기




Volumn 171, Issue 18, 2007, Pages 1183-1186

Level-headed

Author keywords

Methodology; Natural language; Speculation

Indexed keywords

COGNITIVE SYSTEMS; COMPUTATION THEORY; COMPUTATIONAL METHODS; NATURAL LANGUAGE PROCESSING SYSTEMS;

EID: 36248990318     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2007.10.013     Document Type: Article
Times cited : (8)

References (3)
  • 2
    • 36248952440 scopus 로고    scopus 로고
    • John McCarthy, A tough nut for proof procedures, Technical Report 16, Stanford AI Project, 1964


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