«自然推理系统»

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

Источники

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

Поделиться

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

_

natural deduction system