«定理机器证明»

定理机器证明 в энциклопедиях

Источники

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

Поделиться

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

_

theorem machine prove