DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 김진형 | - |
dc.contributor.advisor | 임영환 | - |
dc.contributor.advisor | Kim, Jin-Hyung | - |
dc.contributor.advisor | Lim, Young-Hwan | - |
dc.contributor.author | 강현규 | - |
dc.contributor.author | Kang, Hyun-Kyu | - |
dc.date.accessioned | 2011-12-13T05:50:45Z | - |
dc.date.available | 2011-12-13T05:50:45Z | - |
dc.date.issued | 1987 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=65658&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/33715 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1987.2, [ [ii], 47, 3 p. ] | - |
dc.language | kor | - |
dc.publisher | 한국과학기술원 | - |
dc.title | 정리 증명의 추론 규칙을 이용한 지식 베이스의 중복성 제거와 일치성 검사 | - |
dc.title.alternative | Redundancy removing and consistency checking of a knowledge base using a theorem proving inference rule | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 65658/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000851015 | - |
dc.contributor.localauthor | 김진형 | - |
dc.contributor.localauthor | 임영환 | - |
dc.contributor.localauthor | Kim, Jin-Hyung | - |
dc.contributor.localauthor | Lim, Young-Hwan | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.