推理规则完备性

Большой китайско-русский словарь

Большой китайско-русский словарь

_

inference rule completeness