paramodulator

英 ['pærəmɒdjʊleɪtə] 美 ['pærəmɒdjʊleɪtə]

• [计] 调解式