«一阶谓词演算»

一阶谓词演算 в энциклопедиях

Источники

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

Поделиться

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

_

first order predicate calculus; first-order predicate calculus