paramodulation

調解法

學術名詞

• 調解法：資訊