JIEH HSIANG2018-09-102018-09-101996http://ntur.lib.ntu.edu.tw/handle/246246/151496http://scholars.lib.ntu.edu.tw/handle/123456789/323334自動推理方法之平行/分散化report