00802na  a2200217   4500001001300000005001500013008004100028024002700069035001800096035002700114100003400141370004800175372004500223372004000268373007100308374004800379375001100427377001400438670005400452670007800506KAC20182429720181004162017180509 b aznnnaabn          fa aaa      7 a00000004648362962isni  a(KRI)10075466  a(KISTI)ADPER00002902611 a강지훈,g姜志薰,d1956-  c한국(국명)[韓國]0KSH20000101452nlsh  a컴퓨터[computer]0KSH19980009202nlsh  a전산학a웹기반정보시스템  a충남대학교 공과대학 컴퓨터공학과 (교수)s19860201  a교수(대학)[敎授]0KSH19980114932nlsh  a남성  l한국어  a한국연구자정보(KRI)uhttps://www.kri.go.kr  aLinearization of bilinear datalog programs, (한국과학기술원), 1996