| 41 | 정리 증명의 추론 규칙을 이용한 지식 베이스의 중복성 제거와 일치성 검사 = Redundancy removing and consistency checking of a knowledge base using a theorem proving inference rulelink 강현규; Kang, Hyun-Kyu; 김진형; 임영환; Kim, Jin-Hyung; Lim, Young-Hwan, 한국과학기술원, 1987 |
| 42 | Object 개념의 메모리 세그먼트를 이용한 효율적인 트랜잭션 복구방법 = Efficient transaction recovery mechanism using object based memory segmentationlink 강석열; Kang, Seok-Youl; 전길남; Chon, Kil-Nam, 한국과학기술원, 1987 |
| 43 | (An) evidence fusion method based on the dempster-shafer theory = Dempster-shafer 이론을 이용한 징후 결합 방법link Lee, Jong-Man; 이종만; Kim, Jin-Hyung; 김진형, 한국과학기술원, 1987 |
| 44 | 명제어로 표현된 한국어 문장의 개념분석에 관한 연구 = A study on the conceptual analysis of korean sentences represented in the propositional languagelink 송준용; Song, Joon-Yong; 김진형; Kim, Jin-Hyung, 한국과학기술원, 1987 |
| 45 | Incremental prolog 컴파일러의 설계 및 구현 = The design and implementation of an incremental prolog complierlink 류기열; Ryu, Ki-Yeol; 맹승렬; Maeng, Seung-Ryoul, 한국과학기술원, 1987 |
| 46 | Assertion 기법을 소프트웨어 요구 분석에 적용하기 위한 연구 = A study on application of the assertion techniques to analysis of software requirementslink 차신; Cha, Shin; 권용래; Kwon, Yong-Rae, 한국과학기술원, 1987 |
| 47 | (A) fuzzy if-then-else inference method based on interpolation = 보간법에 의한 모호 if-then-else 추론 기법link Kim, Doo-Hyun; 김두현; Kim, Jin-Hyung; Lim, Young-Hwan; 김진형; 임영환, 한국과학기술원, 1987 |
| 48 | 고정크기 다각형의 위치문제에 대한 알고리즘 = Algorithms for the fixed-size polygon placement problemlink 조창제; Cho, Chang-Je; 권용래; 좌경룡; Kwon, Yong-Rae; Chwa, Kyung-Yong, 한국과학기술원, 1987 |
| 49 | Encapsulation에 의한 OSI 네트워크를 경유하는 인터네트 프로토콜 사이의 통신 = Internet protocol transit through OSI network by encapsulationlink 김종식; Kim, Jong-Shick; 전길남; Chon, Kil-Nam, 한국과학기술원, 1987 |
| 50 | 통계 분석 지원을 위한 통합 요약 데이타 테이블의 설계 및 구현 = A design and implementation of integrated summary data tables supporting statistical analysislink 최원석; Choe, Weon-Seog; 이윤준; Lee, Yoon-Joon, 한국과학기술원, 1987 |
