predicate calculus
短語(yǔ)詞組
- predicate e calculus 謂詞演算
- higher order predicate calculus 較高階述詞演算;翻譯
- unary predicate calculus 單述詞演算;翻譯;單謂詞演算英語(yǔ);單謂詞演算
- predicate calculus logic 述詞演算邏輯
- connective in predicate calculus [計(jì)]謂詞演算中的連接詞
- predicate m -calculus 謂詞m演算
- wffs of predicate calculus 謂詞演算公式
- second predicate calculus 第二階述詞演算
- monadic predicate calculus 一元謂詞運(yùn)算;一元謂詞邏輯;一元邏輯 返回 predicate calculus