高階謂詞演算
英語(yǔ)翻譯
【計(jì)】 high-order predicate calculus; higher order predicate calculus
分詞翻譯
高的英語(yǔ)翻譯:
high; high-priced; lofty; loud; tall
【醫(yī)】 homo-; hyper-; hypsi-; hypso-; per-
階的英語(yǔ)翻譯:
rank; stairs; steps
【計(jì)】 characteristic
【醫(yī)】 scala
謂詞演算的英語(yǔ)翻譯:
【計(jì)】 predicate calculus