00990nam a2200229 c 4500001001300000005001500013008004100028040001100069041001300080052002600093245013500119300003200254545007300286545007000359653007900429700001400508700005300522773012800575856002000703900001700723900002000740KSI00012534920040109133344031205s1992    gbka          000   kor    a0110010 akorbeng01a530.05b금841ㄴc1300a모든 해결 단일자를 구하는 알고리즘=x(A)new algorithm for calculating all solution unifiers/d김병만,e오득환  ap. 109-126:b삽도;c26 cm  a김병만, 금오공과대학 전자계산기 공학과 전임강사  a오득환, 금오공과대학 전자계산기 공학과 조교수  a해결a단일자a알고리즘aAlgorithmaCalculatingaSolution unifiers1 a오득환1 a김병만,g金炳晩,d1964-0KAC2013093994aut0 t論文集-金烏工科大學校.d金烏工科大學.g13집(1992년), p. 109-126q13<109w(011001)KSE199504990,x1229-055640u2047479aKd00210aOh, Duk-Hwan10aKim, Byeong-Man