- 분야
-
『정보·통신』
- 「002」컴퓨터를 써서 자동적으로 정리를 증명하는 기법의 하나.
관련 어휘
- 비슷한말
- 도출-법(導出法), 도출^원칙(導出原則), 분해^원리(分解原理)
대역어
- 영어
- resolution principle
어휘 지도(마우스로 어휘 지도를 이동할 수 있습니다.)이용 도움말 바로 가기새 창 보기
이 누리집은 대한민국 공식 전자정부 누리집입니다.
이 누리집은 대한민국 공식 전자정부 누리집입니다.
관련 어휘
대역어
어휘 지도(마우스로 어휘 지도를 이동할 수 있습니다.)이용 도움말 바로 가기새 창 보기
