跳转到内容

paramodulation

維基詞典，自由的多語言詞典
  • 正體: 調解法[電子計算機]
来自“https://zh.wiktionary.org/w/index.php?title=paramodulation&oldid=4997577”