자료유형  

 학위논문

청구기호  

028.1 조92서

저자명  

조한수

서명/저자  

서술논리를 이용한 레졸루션 방법 연구 : A Resolution Method Using Predicate Logic / 曺漢洙 저.

발행사항  

서울 : 성균관대학교 대학원, 1990.

형태사항  

50 p. : 삽도 ; 26 cm.

학위논문주기  

석사학위논문 - 성균관대학교 경영대학원 : 정보처리학과 정보처리전공, 1990.

서지주기  

권말 참고문헌,영문초록 수록.

키워드  

敍述 利用 方法

가격  

비매품

Control Number  

kjul:60060310