«谓词演算语言»

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

Источники

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

Поделиться

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

_

predicate calculus language