- 요약
- Abstract
- Ⅰ. 서론
- Ⅱ. 소프트웨어와 상태변환기계
- Ⅲ. 원본 코드와 번역본 코드
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=A82385589
2010
Korean
004
KCI등재
학술저널
109-116(8쪽)
3
0
상세조회0
다운로드목차 (Table of Contents)
참고문헌 (Reference)
1 "http://plato.stanford.edu/entries/logic-linear/"
2 Jean-Yves Girard, "Linear Logic" 50 (50): 1-102, 1987
3 G. Japaridze, "Introduction to computability logic" 123 : 1-99, 2003
4 J.E.Hopcroft, "Introduction to Automata Theory, Languages and Computation" Addison-Wesley 2008
5 Thomas H. Cormen, "Introduction to Algorithms Second Edition" MIT Press 2001
6 G. Japaridze, "From truth to computabilityⅠ" 375 : 100-135, 2006
7 Jean-Yves Girard, "Advances in Linear Logic" Cambridge University 1995
1 "http://plato.stanford.edu/entries/logic-linear/"
2 Jean-Yves Girard, "Linear Logic" 50 (50): 1-102, 1987
3 G. Japaridze, "Introduction to computability logic" 123 : 1-99, 2003
4 J.E.Hopcroft, "Introduction to Automata Theory, Languages and Computation" Addison-Wesley 2008
5 Thomas H. Cormen, "Introduction to Algorithms Second Edition" MIT Press 2001
6 G. Japaridze, "From truth to computabilityⅠ" 375 : 100-135, 2006
7 Jean-Yves Girard, "Advances in Linear Logic" Cambridge University 1995
디지털 빔형성 오차보정 기법을 이용한 목표물 탐지에 대한 연구
레거시시스템의 데이터 재사용을 위한 시맨틱 유형분류 기법 및 구현
학술지 이력
연월일 | 이력구분 | 이력상세 | 등재구분 |
---|---|---|---|
2022 | 평가예정 | 재인증평가 신청대상 (재인증) | |
2019-01-01 | 평가 | 등재학술지 유지 (계속평가) | |
2016-01-01 | 평가 | 등재학술지 유지 (계속평가) | |
2012-01-01 | 평가 | 등재학술지 유지 (등재유지) | |
2009-01-01 | 평가 | 등재학술지 선정 (등재후보2차) | |
2008-01-01 | 평가 | 등재후보 1차 PASS (등재후보1차) | |
2006-01-01 | 평가 | 등재후보학술지 선정 (신규평가) |
학술지 인용정보
기준연도 | WOS-KCI 통합IF(2년) | KCIF(2년) | KCIF(3년) |
---|---|---|---|
2016 | 0.45 | 0.45 | 0.39 |
KCIF(4년) | KCIF(5년) | 중심성지수(3년) | 즉시성지수 |
0.38 | 0.35 | 0.566 | 0.16 |