«定理证明系统»

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

Источники

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

Поделиться

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

_

theorem-proving system