정리 증명의 추론 규칙을 이용한 지식 베이스의 중복성 제거와 일치성 검사 = Redundancy removing and consistency checking of a knowledge base using a theorem proving inference rule

Advisors
김진형researcher임영환researcherKim, Jin-HyungresearcherLim, Young-Hwanresearcher
Publisher
한국과학기술원
Issue Date
1987
Identifier
65658/325007 / 000851015
Language
kor
Description

학위논문(석사) - 한국과학기술원 : 전산학과, 1987.2, [ [ii], 47, 3 p. ]

URI
http://hdl.handle.net/10203/33715
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=65658&flag=t
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.
  • Hit : 160
  • Download : 0
  • Cited 0 times in thomson ci

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0