현재 위치
Home
B-방법을 리용한 공간자료형의 묘사와 검증
-
- 발행기관
- 한국어정보학회 바로가기
-
- 간행물
- 한국어정보학 바로가기
-
- 통권
- 제7권 2호 (2005.09)바로가기
-
- 페이지
- pp.33-38
-
- 저자
-
- 언어
- 한국어(KOR)
-
- URL
- https://www.earticle.net/Article/A75488
※ 기관로그인 시 무료 이용이 가능합니다.
4,000원
원문정보
목차
개요
1. 머리말
2. 릴름의 형식적 스페크
2.1 그물, 그물점, 그물선분
2.2 릴름
2.3 확장된 릴름
3. 그물선분의 삽입연산자
4. 연산자 InsertSegment_Ops 의 정확성증명
5. 결론
참고문헌
저자
간행물 정보
발행기관
-
- 발행기관명
- 한국어정보학회 [Korean Language Information Science Society]
- 설립연도
- 1990
- 분야
- 인문학>언어학
- 소개
- 학술적인 연구를 통하여 국어정보처리에 관련된 이론 체계를 정립하고, 산업계와의 긴밀한 협동을 통하여 정보처리 기술을 향상 시키면서 정보산업의 성장을 돕고, 대중적인 교육과 홍보를 통하여 발전된 정보 처리의 기술을 보급하므로써 국어의 문화적 가치를 높히고 국어정보 처리 기술의 국제적 지위향상과 표준화에 기여하고자 합니다.
간행물
-
- 간행물명
- 한국어정보학 [韓國語情報學]
- 간기
- 반년간
- pISSN
- 2005-1891
- 수록기간
- 1999~2019
- 십진분류
- KDC 706 DDC 406
이 권호 내 다른 논문 / 한국어정보학 제7권 2호
피인용수 : 0건 (자료제공 : 네이버학술정보)
함께 이용한 논문 이 논문을 다운로드한 분들이 이용한 다른 논문입니다.
출처 : 네이버학술정보
0개의 논문이 장바구니에 담겼습니다.