Publications
Detailed Information
Consistency problems in a certain first order logic system : 어느 일차 논리 시스템에서의 무모순성 문제
Cited 0 time in
Web of Science
Cited 0 time in Scopus
- Authors
- Advisor
- 최형인
- Issue Date
- 2005
- Publisher
- 서울대학교 대학원
- Keywords
- 패턴 시스템 ; Pattern System ; 온톨로지 네트웍 ; Ontology Network ; 규칙 구조 ; Rule Architecture ; 무모순성 문제 ; Consistency Problem
- Description
- Thesis(doctoral)--서울대학교 대학원 :수리과학부,2005.
- Language
- English
- URI
- http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000052157
https://hdl.handle.net/10371/19910
- Files in This Item:
- There are no files associated with this item.
- Appears in Collections:
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.