본문바로가기
도출^방법 편집하기 편집 금지 요청
분야
『정보·통신』
「001」논리 시스템에서 쓰이는 추론 전략으로 어떠한 주장이 옳음을 결정하는 것. 문제 해결 이론의 증명은 특별히 1차 서술 논리의 증명 이론인 추론 논리를 이용한다.

관련 어휘

대역어

영어
resolution method

어휘 지도(마우스로 어휘 지도를 이동할 수 있습니다.)이용 도움말 바로 가기새 창 보기

+
-
위로