«自然推理演算»

自然推理演算 в энциклопедиях

Источники

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

Поделиться

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

_

calculus of natural deduction, calculus of nature inference