resolution refutation
中文翻译
[计] 归结反演, 分解反驳
相关词组
1
resolution refutation strategy
[计] 归结反演策略
2
[计] 归结反演系统