01228na  a2200265   4500001001300000005001500013007000300028008004100031040001100072041001300083052003300096245023900129300002400368545005400392545007000446545007000516653011200586700001900698700001400717700003600731773013900767900002000906900001900926900001700945KSI00067966220081023134107ta080708s1994    ulk           000   kor    a0110010 akorbeng01a569.905b한613ㅈㄴc21(5)00a상향식 추상 해석을 이용한 논리 프로그램의 AND/OR 병렬 수행 모델 개선 =xImproving AND/OR parallel execution model of logic programs using bottom-up abstract interpretation /d창병모,e최광무,e한태숙  ap. 792-800 ;c27 cm  a창병모, 정회원, 한국전자통신연구소  a최광무, 종신회원 한국화학기술원 전산학과 교수  a한태숙, 종신회원 한국화학기술원 전산학과 교수  a상향식 추상 해석aAND/OR 병렬 수행aAND/OR parallel executionaBottom-up abstract interpretation1 a창병모4aut1 a최광무1 a한태숙,d1953-0KAC2018070720 t정보과학회논문지.d한국정보과학회.g제21권 5호(1994년 5월), p. 792-800q21:5<792w(011001)KSE199508737,x0258-912510aChang, Byeongmo10aChoe, Kwangmoo10aHan, Taisook