您要查找的是不是:
- 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定理。
- The theory foundation of machanical the- orem proving is the Herbrand theorem,refutation and a conjunctive normal form theorem. Herbrand定理和范式定理是机器证明的理论基础.
- A member of the Herbrand base is called atom in automatic theorem proving. 在自动定理证明中,海尔勃朗基的成员也称为原子。
- Herbrand theorem 海尔勃朗定理
- The work of Thaine, Kolyvagin, and Rubin has produced fairly elementary proofs of Ribet's converse of Herbrand's theorem and of the Main Conjecture. 生当明末清初,素负诗名,尝与当时众多名家及诗僧交游唱和。
- Let us restate the assertions above as a theorem. 我们把上述的断言重新表述为一个定理。
- The second proof of Theorem 26 is due to James. 定理26的第二个证明属于詹姆斯。
- Theorem g is called binomial theorem. 定理g称为二项式定理。
- This completes the proof of the convexity theorem. 这就完成了凸定理的证明。
- This calculation illustrates the theorem. 这个计算说明了这样一个定理。
- We call this principle a rule and not a theorem. 我们称这个法则为原理而不称为定理。
- We have thus arrived at the very important theorem. 这样我们就得了一条很重要的法则。
- The theorem may be explained as follows. 这条原理可以这样来阐述。
- This method helps to obtain a remarkable theorem. 这一方法有助于得出一著名的定理。
- His theorem can be translated into simple terms. 他的定理可用更简单的术语来解释。
- Theorem 2 ABd method is absolutely stable. 定理4 PAEI方法在M‘/2范数意义下是绝对稳定的.
- The main results are theorem 5 anc theorem 9 . 主要结果是定理5和定理9,宅是文[4]的继续。
- This is the "Kos theorem" Wu edition. 这是 “科斯定理”的张五常版。
- Poynting's Theorem and the Poynting Vector S. 波印廷定理及波印廷向量S。
- Two fomes of STOLZ theorem are given and extend. 给出STOLZ定理的两种形式并把它们进行了推广,讨论了它们的应用。