상세 보기
모든 해결인자를 구하는 알고리즘
A New Algorithm for Calculating All Solution Unifiers
- 오득환;
- Kim, Byeong-Man
- 제목
- 모든 해결인자를 구하는 알고리즘
- 제목 (타언어)
- A New Algorithm for Calculating All Solution Unifiers
- 저자
- 오득환; Kim, Byeong-Man
- 발행일
- 1993-02
- 저널명
- 금오공대 논문집
- 권
- 13
- 페이지
- 109
- 출판사
- 금오공대