기사
모든 해결 단일자를 구하는 알고리즘 = (A)new algorithm for calculating all solution unifiers
표제/저자사항 모든 해결 단일자를 구하는 알고리즘 = (A)new algorithm for calculating all solution unifiers / 김병만, 오득환
형태사항 p. 109-126: 삽도; 26 cm
주기사항 수록자료: 論文集-金烏工科大學校. 金烏工科大學. 13집(1992년), p. 109-126 13<109 상세보기 ISSN 1229-0556
저자: 김병만, 금오공과대학 전자계산기 공학과 전임강사
저자: 오득환, 금오공과대학 전자계산기 공학과 조교수
출처 국립중앙도서관 바로가기
담당부서 : 국가서지과 (02-590-6339)
위로