람다 센서의 외부 오염에 따른 출력 데이터

이현희 ,  강새별 ,  최규성 외 1명

대한설비공학회 학술발표대회논문집

2019 .06

Translation of Separable Systems into the Lambda Calculus

변석우

정보과학회논문지 : 시스템 및 이론

2008 .04

람다익 항공기에서 종축 안정성의 비선형성 완화를 위한 와류 발생기의 최적 설계

이성욱 ,  김종암

한국항공우주학회 학술발표회 초록집

2019 .04

람다-이중 삼각익 날개를 가진 비행체의 유동 해석

남한솔 ,  신진영 ,  김형진 외 1명

한국항공우주학회 학술발표회 초록집

2019 .11

고급 하드웨어 기술 언어 설계에 관한 연구 ( A Study on Design of a High Level Hardware Description Language )

김태헌 ,  이강환 ,  정주홍 외 1명

한국통신학회논문지

1993 .05

Standard ML 프로그램 식들의 유추된 타입들을 보여 주는 도구의 개발

편기현 ,  이광근

한국정보과학회 학술발표논문집

1997 .04

M : 타입 오류를 일찍 감지하는 타입 유추 알고리즘

이욱세 ,  이광근

한국정보과학회 학술발표논문집

1997 .04

Mechanized Proof of Type Preservation for Polymorphic Lambda Calculi Using Abella

안기영

Journal of KIISE

2020 .05

람다익 비행체에서 Pitch-up 지연을 와류 발생기의 최적 설계

이성욱 ,  김종암

한국전산유체공학회 학술대회논문집

2018 .05

암시적 프로그래밍을 위한 계산 언어의 설계

이원찬 ,  이광근

정보과학회논문지 : 컴퓨팅의 실제 및 레터

2012 .07

람다 계산법에 관한 퍼즐

변석우

프로그래밍언어연구회지

1999 .12

람다익 항공기에서 종축 안정성의 비선형성 완화를 위한 날개 형상 최적 설계

이성욱 ,  김종암

한국항공우주학회 학술발표회 초록집

2020 .07

람다 패시브하우스를 통해 살펴본 Energy# 적용 사례

배성호

태양에너지

2018 .06

람다 바이폴라 트랜지스터의 Spice 모델링 ( Spice Modeling of the Lambda Bipolar Transistors )

윤기환 ,  조영호 ,  유동철 외 2명

대한전자공학회 학술대회

1991 .11

ROUGH CALCULUS

Zdzislaw Pawlak

한국지능시스템학회 학술발표 논문집

1996 .11

람다 바이폴라 트랜지스터와 광트랜지스터의 설계, 제작 및 특성에 관한 연구 ( A Study on Design, Fabrication and Characterization of the Lambda Bipolar Transistors and Phototransistors )

정상구 ,  구자헌 ,  최연익

전자공학회논문지-A

1991 .07

프로그램 변환을 이용한 병렬수행 컴비네이터의 생성

최기수 ,  신승철 ,  유원희

한국정보과학회 학술발표논문집

1994 .04

A HARDWARE IMPLEMENTATION DESIGN OF FUZZY INFERENCE ENGINE

Ma Guang Ti

대한전자공학회 기타 간행물

1992 .01

Let-다형성 타입 유추 알고리즘 M 의 병목을 해소하기 위한 혼성 알고리즘 H

주상현 ,  이욱세 ,  이광근

정보과학회논문지 : 소프트웨어 및 응용

2000 .12

진화하드웨어 구현을 위한 유전알고리즘 설계

동성수 ,  이종호

전자공학회논문지-IE

2008 .12