paramodulation

英 文 paramodulation

中 文 調解法

出 處 電子計算機名詞

相關詞匯

paramodulation 調解法 【電子計算機名詞】