| 371 | 지연 계산을 첨가한 concurrent prolog의 설계 = The design of a concurrent prolog with lazy evaluationlink 손은영; Son, Eun-Young; 조정완; Cho, Jung-Wan, 한국과학기술원, 1989 |
| 372 | 연구와 개발 네트위크에서의 분산 디렉토리 체계를 위한 접근 방법 = Access methods for distributed directory system in research and development networklink 허남원; Heo, Nam-Won; 전길남; Chon, Kil-Nam, 한국과학기술원, 1986 |
| 373 | PROKB의 다중 상속계층에 대한 일치성 유지기법 = Consistency maintenance mechanism for multiple inheritance hierarchy in PROKBlink 서상구; Seo, Sang-Koo; 이윤준; Lee, Yoon-Joon, 한국과학기술원, 1986 |
| 374 | 한글 워드 프로세싱 소프트웨어 시스템 설계 = Software design for a Hangul word processorlink 전서현; Jeon, Suh-Hyun; 조정완; Cho, Jung-Wan, 한국과학기술원, 1980 |
| 375 | 최소직경 2-Clustering 을 위한 알고리즘 = An algorithm for min-max diameter 2-clusteringlink 김명근; Kim, Myoung-Geun; 좌경룡; Chwa, Kyung-Yong, 한국과학기술원, 1984 |
| 376 | 한글 숫자음의 자동 인식에 관한 연구 = A study on the recognition of spoken Korean digitslink 전용호; Jun, Yong-Ho; 이범천; Lee, Bum-Chun, 한국과학기술원, 1981 |
| 377 | Development of smalltalk virtual machine and extension to distributed smalltalk system = Smalltalk machine 의 개발과 분산 smalltalk 시스템에 관한 연구link Han, Kyung-Sook; 한경숙; Chon, Kil-Nam; 전길남, 한국과학기술원, 1985 |
| 378 | (A) robot manipulator package = 로보트 제작기 패키지link Kim, Hee-Jung; 김희정; Chung, Won-L.; 정원량, 한국과학기술원, 1988 |
| 379 | 한글 철자법 교정 시스템 = A system for detection and correction of hangul spelling errorlink 김영웅; Kim, Young-Woong; 김길창; Kim, Gil-Chang, 한국과학기술원, 1984 |
| 380 | 구조적 분석 기법의 자동화를 위한 기초 연구 = A study on automation of structured analysis techniqueslink 김동환; Kim, Dong-Hwan; 권용래; Kwon, Yong-Rae, 한국과학기술원, 1986 |
