본문 바로가기
HOME> 논문 > 논문 검색상세

학위논문 상세정보

어느 일차 논리 시스템에서의 무모순성 문제 원문보기
Consistency problems in a certain first order logic system

  • 저자

    김혜령

  • 학위수여기관

    서울대학교 대학원

  • 학위구분

    국내박사

  • 학과

    수리과학부

  • 지도교수

  • 발행년도

    2005

  • 총페이지

    vi, 64 leaves

  • 키워드

    패턴 시스템;온톨로지 네트웍;규칙 구조;무모순성 문제;Pattern System;Ontology Network;Rule Architecture;Consistency Problem;

  • 언어

    eng

  • 원문 URL

    http://www.riss.kr/link?id=T10045706&outLink=K  

  • 초록

    초록이 없습니다.


 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역