Publications
Detailed Information
Consistency problems in a certain first order logic system : 어느 일차 논리 시스템에서의 무모순성 문제
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 최형인 | - |
dc.contributor.author | 김혜령 | - |
dc.date.accessioned | 2009-12-11T02:13:26Z | - |
dc.date.available | 2009-12-11T02:13:26Z | - |
dc.date.copyright | 2005. | - |
dc.date.issued | 2005 | - |
dc.identifier.uri | http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000052157 | eng |
dc.identifier.uri | https://hdl.handle.net/10371/19910 | - |
dc.description | Thesis(doctoral)--서울대학교 대학원 :수리과학부,2005. | en |
dc.format.extent | vi, 64 leaves | en |
dc.language.iso | en | - |
dc.publisher | 서울대학교 대학원 | en |
dc.subject | 패턴 시스템 | en |
dc.subject | Pattern System | en |
dc.subject | 온톨로지 네트웍 | en |
dc.subject | Ontology Network | en |
dc.subject | 규칙 구조 | en |
dc.subject | Rule Architecture | en |
dc.subject | 무모순성 문제 | en |
dc.subject | Consistency Problem | en |
dc.title | Consistency problems in a certain first order logic system | en |
dc.title.alternative | 어느 일차 논리 시스템에서의 무모순성 문제 | en |
dc.type | Thesis | - |
dc.contributor.department | 수리과학부 | - |
dc.description.degree | Doctor | en |
- Appears in Collections:
- Files in This Item:
- There are no files associated with this item.
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.