Chinese translation for "高阶谓词演算"

high-order predicate calculus
higher order predicate calculus
higher-order predicate calculus

Related Translations:

谓词:  [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus

谓词交:  predicate intersection model

谓词符号:  predicate symbol

输入谓词:  input predicate

程序谓词:  program predicate

篇章谓词:  discourse predicate

模拟谓词:  simulated predicate

输出谓词:  outer predicate

数谓词:  numerical predicatenumerical readout

假谓词:  false predicate

Similar Words：

"高阶微分方程" Chinese translation, "高阶微量" Chinese translation, "高阶微商" Chinese translation, "高阶位" Chinese translation, "高阶谓词" Chinese translation, "高阶系统并列输出入" Chinese translation, "高阶系统串行输出入" Chinese translation, "高阶系统微算机组件" Chinese translation, "高阶显卡及计算机系统" Chinese translation, "高阶显义" Chinese translation