00948nam a2200253 k 4500001001500000005001500015008004100030040001900071041001300090049001700103052001800120056001300138082001500151100004800166245009100214260007100305300003200376500007000408502007300478653007100551950002100622963001700643965003400660KDM199312804  20180914110515931204s1992    ulka       CB 000   eng    a011001c0110010 aengbkor0 lWM162978fDP02a001.64bK491p  a028.1230 a001.642191 a김병만,g金炳晩,d1964-0KAC20130939911a(A)parallel connection graph proof procedure using hybrid parallelism/dByeong Man Kim  a서울:bKorea Advanced Institute of Science and Technology,c1992  avi,114 leaves:bill.;c26cm  a한글서명 : 혼성 병렬성을 이용한 정리 증명 방법1 a학위논문(박사) --b한국과학기술원:c전산학과,d1992  aPARALLELaCONNECTIONaGRAPHaPROOFaPROCEDUREaHYBRIDaPARALLELISM1 a비매품b\6000  a전산학과  a컴퓨터이론x정리증명