Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。
A new derivation method of transport coefficients is given.
然后给出输运系数一种新的推导方法。
Calculating Methods of Power Exponential Function Derivation
幂指函数导数的计算方法
This paper is concerned with the derivation of optimum data.
本文介绍了求出最佳数据的方法。
Theoritical Derivation of Optimal Compensation Projecting Plane
最佳抵偿投影面的理论推导
Clinical Application and Derivation Methods of Set Prescriptions
成方的临床应用与衍化方法
The Study on the Cognate Derivation of Ancient Chinese Characters
古汉字同源分化研究
Derivation of Energy Spread Function of Electron Pencil Beam Model
数值方法分析电子线笔形束模型的能量展宽函数
Morphological Diversity of Mayfly Nymphs and its Adaptive Derivation
蜉蝣稚虫形态多样性及其适应性变化
Theoretical Derivation to Newton's Second Law and the Law of Coulomb
库仑定律和牛顿第二定律的理论推导
Derivation of Design Flood at Substation Project in Very Small Basin.
特小流域变电工程设计洪水位的推求
Logic errors in the derivation of conservation law of angular momentum
角动量守恒定律推导中的逻辑错误
Derivation and Discussion on Acceleration Formula of Curvilinear Motion
曲线运动加速度公式的推导和讨论
Under a nonvirtual derivation, both kinds of access would be ambiguous.
在非虚派生情况下，两种访问都可能是二义性的。
The Automorphism Group of Skew Derivation Lie Algebra over Quantum Tori
量子环面上斜导子李代数的自同构群
English has a lot of words which are made by composition and derivation.
英语有大量的合成词和派生词。
DERIVATION ALGEBRAS FOR GROUP ALGEBRAS OF FINITE GENERATED ABELIAN GROUPS
有限生成可换群的群代数之导子代数
A concise derivation of energy formula of diatomic molecules is proposed.
对非刚性双原子分子的能量表达式给出一种简明的推导。
On the Relativity of Binary Derivation and Autocorrelation Randomness Test
二元推导与自相关随机性检测算法的相关性分析
The Derivation of Linear Accelerating Gravitational Field and its Properties
直线加速引力场的推导及性质
This derivation is only valid if no chain scission accompanies crosslinking.
这一关系式仅适用于交联时不伴有断链发生得情况。
Flavour development resulted in the derivation of yeasts in soy sauce brewing
酱油酿造中的生香酵母及生香过程
And I should say the derivation of the curves isn't particularly complicated.
我觉得曲线的推导过程，并不是非常复杂。
The Derivation of Characteristics of the Venturi Tube with Oval Adjusting Valve
椭圆调径挡板文氏管调节特性曲线方程的推导
A Linear Algorithm for the Cyclic Permutation to the N and Its Formal Derivation
计算循环置换乘方的线性算法及其形式推导
英文例句大全为您提供derivation英文例句大全,derivation英文造句,关于derivation的英语句子,单词derivation怎么造句,derivation英文例句大全有哪些,哪些英语句子是关于derivation,英语单词derivation的句子,单词derivation如何造句,derivation怎么造句等。