Herbrand

基本解释

• n.海尔勃朗

同根派生

• Herbrand相关词

英汉例句

• A member of the Herbrand base is called atom in automatic theorem proving.
  在自动定理证明中,海尔勃朗基的成员也称为原子。
• Author show the Craig theorem and Herbrand theorem for The 3 valued logics MP,MP*,MF,MF*,ME and ME*.
  作者获得并证明三值命题逻辑MP与MP 、三值谓词逻辑MF与MF 以及带等词的三值谓词逻辑ME与ME 的Craig中插定理与Herbrand定理。
• Herbrand equivalence is weaker than Semantic equivalence, it has much wider utility.
  H-等价的判定条件相对来说更容易得到满足，具有更广泛的可用性。
• Herbrand equivalence is weaker than semantic equivalence,it has much wider utility.
  H-等价的判定条件相对来说更容易得到满足,具有更广泛的可用性。
• The theory foundation of machanical the- orem proving is the Herbrand theorem,refutation and a conjunctive normal form theorem.
  Herbrand定理和范式定理是机器证明的理论基础.

• Herbrand更多例句