inference rule
中文翻译
[计] 推理规则, 推理法则
相关词组
1
[计] 推理规则完备性
2
[计] 推理规则有效性