«单谓词演算»

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

Поделиться

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

_

unary predicate calculus