00936nam a2200241 c 4500001001500000005001500015008004100030040001900071041001300090049003000103052002100133056001300154082001600167100004800183245014200231260003600373300002000409502008300429653010600512950002100618963002300639965003200662KDM199106683  19941011212427910724s1990    ulk        AK 000   kor    a011001c0110010 akorbeng0 lEM817303lEM832738c2fDP01a028.6b이178ㅇ  a028.6230 a001.6422191 a이규철,g李圭哲,d1962-0KAC20183076710a연역 논리에 기반한 객체 모델링에 관한 연구=x(An)object modeling with deductive capabilities based on logic/d李圭哲  a서울:b서울大學校,c1990  av,105장;c26cm1 a학위논문(박사) --b서울大學校 大學院:c컴퓨터工學科,d1990  a연역a논리a기반한a객체a모델링aOBJECTaMODELINGaDEDUCTIVEaCAPABILITIESaBASEDaLOGIC1 a비매품b\5600  a컴퓨터공학과  a데이타베이스시스템