00812na  a2200193   4500001001300000005001500013008004100028040001100069041001300080052002200093245011500115300002100230545006300251653007700314700005300391773013500444856002100579900001800600KSI00027932420040831173932040720s1992    tjk           000   kor    a0110010 akorbeng01a405b충69c19(2)00a연역 규칙 다시쓰기 기법의 비교=x(A)comparison of deductive rule rewriting techniques/d강지훈  ap. 41-47;c29 cm  a강지훈, 충남대학교 자연과학대학 전산학과  a연역 규칙a다시쓰기 기법aDeductive ruleaRewriting techniques1 a강지훈,g姜志薰,d1956-0KAC2018242974aut0 t忠南科學硏究誌.d忠南大學校 自然科學硏究所.g19卷 2號(1992년 12월), p. 41-47q19:2<41w(011001)KSE19950020440u19590434aKd00210aKang, Ji-Hoon