带恒等式的谓词演算的英文

• predicate calculus with identity

• "带"英文翻译    belt; girdle; ribbon; band; ...
• "恒等式"英文翻译    identity; identical equation ...
• "的"英文翻译    4次方是 The fourth power of 2 i ...
• "谓词演算"英文翻译    predicate calculus
• "谓词演算" 英文翻译 :    first-order logic; predicate calculus; predicate logic; predicative calculus
• "狭谓词演算" 英文翻译 :    restricted predicate calculus
• "二阶谓词演算" 英文翻译 :    second-order predicate calculus
• "高阶谓词演算" 英文翻译 :    high-order predicate calculus; higher order predicate calculus; higher-order predicate calculus
• "广义谓词演算" 英文翻译 :    extended predicate calculus
• "三阶谓词演算" 英文翻译 :    predicate calculus of the third order
• "谓词演算语言" 英文翻译 :    predicate calculus language
• "一阶谓词演算" 英文翻译 :    first-order logic; first-order predicate calculus; fopc
• "一元谓词演算" 英文翻译 :    monadic predicate calculus; one place predicate calculus; unary predicate calculus
• "一阶纯谓词演算" 英文翻译 :    pure predicate calculus of first order
• "基于谓词演算的方法" 英文翻译 :    predicate calculus based method
• "全称量词 (一阶谓词演算)" 英文翻译 :    universal quantifier in fopc
• "谓词演算中的连接词" 英文翻译 :    connective in predicate calculus
• "恒等式" 英文翻译 :    identical equation; identical relation; identitaet identity; identity (mathematics)
• "介词演算" 英文翻译 :    prepositional calculus
• "等式的" 英文翻译 :    equational
• "jarzynski恒等式" 英文翻译 :    jarzynski equality
• "布尔恒等式" 英文翻译 :    boolean identity
• "代数恒等式" 英文翻译 :    algebraic identity
• "对数恒等式" 英文翻译 :    list of logarithmic identities
• "高桥恒等式" 英文翻译 :    ward takahashi identity