second-order predicate calculus的意思|示意

美 / / 英 / /

二阶谓词演算

二阶谓词演算二阶谓词逻辑 second-order predicate logic 二阶谓词演算 second-order predicate calculus 二阶线性微分方程 second-order linear differential equation ..

翻译 ... Azene翻译【化】氯氮┳一钾; 氯氮┳一钾盐 second-order predicate calculus翻译【计】二阶谓词演算 MIPS翻译 *[mips] 【计】每秒百万条指令数 ...