theorem proving
- 单词发音：英 [ ˈθi:ərəm ˈpru:viŋ ] 美 [ ˈθiərəm ˈpruvɪŋ ]
- 基本解释：定理证明[验证]
- theorem proving 是什么意思及中文翻译：
- 定理证明[验证]
theorem proving 相关例句更多>
- nonresolution theorem proving
非归结定理证明
- Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。
- The connection method with equality for automated theorem proving
自动定理证明中带有等词的连接法
- A Preliminary Study of Machine Theorem Proving Based on Graph Theories
定理机器证明的图论法初探
- A member of the Herbrand base is called atom in automatic theorem proving.
在自动定理证明中，海尔勃朗基的成员也称为原子。
- Trigonometric identity and the mechanical theorem proving in elementary geometry
三角恒等式与初等几何定理的机械化证明
- Computing simplest subsidiary conditions in differential geometry theorem proving
微分几何定理证明中最简单辅助条件的计算
- From the elimination in Arithmetic in Nine Sections to the automated theorem proving
从九章消元法到定理机器证明
- Firstorder theorem proving is one of the most mature subfields of automated theorem proving.
一阶定理证明是最成熟的分支的自动定理证明。
- Mechanical Geometry Theorem Proving Based on the Elimination Method with Decoupling of Leading Terms for Polynomial Set
基于多项式组主项解耦消元法的几何定理机器证明
相关单词
常用英语单词表