01134na a2200265 4500001001300000005001500013008004100028040001100069041001300080052002200093245016700115300001900282545006300301545006300364545004500427653010900472700001900581700004800600700001400648773013200662856002100794900001800815900001800833900001700851KSI00027637820040831173927040716s1990 tjk 000 kor  a0110010 akorbeng01a405b충69c17(2)00a연역 규칙을 위한 사용자 접속의 설계와 구현=xDesign and implementation of user interface for deductive rules/d민혜숙,e강지훈,e이성인 ap. 1-4;c29 cm a민혜숙, 충남대학교 자연과학대학 전산학과 a강지훈, 충남대학교 자연과학대학 전산학과 a이성인, 한국건설 기술 연구원 a연역 규칙a사용자 접속a설계a구현aDesignaImplementationaUser interfaceaDeductive rules1 a민혜숙4aut1 a강지훈,g姜志薰,d1956-0KAC2018242971 a이성인0 t忠南科學硏究誌.d忠南大學校 自然科學硏究所.g17卷 2號(1990년 12월), p. 1-4q17:2<1w(011001)KSE19950020440u19588523aKd00210aMin, Hye-Sook10aKang, Ji-Hoon10aLee, Sung-In