-
- 저자 임현승(Hyeonseung Im)
- 제어번호 102593003
- 학술지명 정보과학회논문지
- 권호사항 Vol. 43 No. 12 [ 2016 ]
- 발행처 Korean Institute of Information Scientists and Engineers
- 발행처 URL http://www.kiise.or.kr
- 자료유형 학술저널
- 수록면 1342-1350 ( 9쪽)
- 언어 Korean
- 출판년도 2016
- KDC 569
- 등재정보 KCI등재
- 소장기관 영남대학교 과학도서관
- 판매처 누리미디어
- 주제어 Tameshigiri(Trying Out a New Sword by Cutting a Persons Dead Body) coinduction induction least/greatest fixed point recursive types subtyping union types 귀납법 남극 남극 GIS 데이터베이스 남극 기지 남극 지도 서브타이핑 원도심 재귀 타입 최소/최대 고정점 코인덕션 합집합 타입