paramodulator

paramodulator是什么意思、paramodulator怎么读
【计】 调解式

paramodulator汉语翻译

【计】 调解式