«机器定理证明»

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

Источники

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

Поделиться

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

_

mechanical theorem proving