higher order predicate calculus的意思|示意

美 / / 英 / /

高阶谓词演算


higher order predicate calculus的网络常见释义

较高阶述词演算 second predicate calculus 第二阶述词演算 ; 二阶谓词演算 higher order predicate calculus 较高阶述词演算 predicate calculus wff 谓词演算合适公式 ..

翻译 higher order predicate calculus翻译 【计】 高阶谓词演算 high-chromium iron翻译 【化】 高铬生铁; 高铬铸铁 .

higher order predicate calculus相关短语

1、 higher-order predicate calculus 同高阶谓词演算