«分解证明树»

分解证明树 в энциклопедиях

Источники

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

Поделиться

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

_

resolution proof tree