predicate calculus
短语词组
- predicate e calculus 谓词演算
- higher order predicate calculus 较高阶述词演算;翻译
- unary predicate calculus 单述词演算;翻译;单谓词演算英语;单谓词演算
- predicate calculus logic 述词演算逻辑
- connective in predicate calculus [计]谓词演算中的连接词
- predicate m -calculus 谓词m演算
- wffs of predicate calculus 谓词演算公式
- second predicate calculus 第二阶述词演算
- monadic predicate calculus 一元谓词运算;一元谓词逻辑;一元逻辑 返回 predicate calculus