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