지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. λ→논리에 대한 선형고전논리
2. 선형 λ μ - 논리를 위한 준함수(Pseudo function 또는 functional process)
3. 회로 카테고리
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
선형논리에의한 회로 카테고리실현
한국정보과학회 학술발표논문집
1997 .04
선형 논리의 계산
[ETRI] 전자통신동향분석
1996 .09
양상 논리의 이해
프로그래밍언어논문지
2004 .02
컴퓨터 논리와 현실적 논리
소프트웨어세계
1994 .01
논리와 논리머신
전자공학회지
1988 .06
권하는 책 : 도시의 논리
건축
1998 .12
[特輯]논리 프로그래밍의 최근 연구 동향
정보과학회지
1992 .06
[경제이야기(6)] 경제논리와 정치논리
오토저널
1999 .12
개선된 지원 논리 프로그래밍
한국정보과학회 학술발표논문집
1990 .10
선형 제어 시스템 설계 (Ⅱ) : 고전 제어기 설계
제어로봇시스템학회지
2006 .06
1991년도 전자업계를 총점검한다-정치논리와 경제논리
전자진흥
1991 .01
논리 합성 기술
전자공학회지
1993 .11
고장검출이 용이한 논리회로 설계에 관한 연구
대한전자공학회 학술대회
1981 .01
래치형 패스 트랜지스터 단열 논리에 기반을 둔 에너지 절약 회로의 설계
한국정보과학회 학술발표논문집
2004 .10
3-VALUED 논리함수의 MINIMIZATION에 관한 연구
대한전자공학회 학술대회
1980 .01
정보사회와 정보논리
한국통신학회지(정보와통신)
1996 .06
스티로폴 포장재의 환경적 논리와 경제적 논리
환경사랑
2004 .01
[기술해설]제한 논리 프로그래밍언어
정보과학회지
1997 .01
논리언어에서의 제약조건해결기 구현 및 최적화에 관한 연구
한국정보과학회 학술발표논문집
1993 .10
가능성세개의 모델에 관한 연구
한국정보과학회 학술발표논문집
1986 .10
0