说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 句库 -> 形式证明
1.
An official document certifying such release, especially from military service.
退伍令书面形式证明那些释放的官方文件,尤指从军队服役退伍
2.
Another Proving Method of the Extended Form of Vandermonde Determinant;
范德蒙行列式推广形式的另一证明法
3.
The Proof of One Coordination Conversion Formula
一个坐标转换公式的正确形式的证明
4.
An express warranty may be in any form of words from which the intention to warrant is to be inferred.
明示保证可以用任何形式的文字说明保证意图。
5.
The Logical analysis and Judgment on the Proving Form of mathematical Propositions;
数学命题证明形式的逻辑分析和判定
6.
Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover
基于Isabelle定理证明器算法程序的形式化验证
7.
prove formally; demonstrate by a mathematical, formal proof.
从形式上证明;通过一个数学的或形式的证据来演示某事物。
8.
The abundant crevasse prove that fracture is the chief form of yielding.
大量的冰隙证明破裂是变形的主要形式。
9.
Another Expression Form of x~2+y~2=n and Its Testification;
x~2+y~2=n解数公式的另一表达形式及证明
10.
Facts have proved time and again the truth that energy can be changed from one form into another.
事实一再证明能量可从一种形式转变为另一种形式。
11.
Note that this proof uses the strong version of the ArtinRees lemma.
请注意这个证明使用了Artin-Rees引理的强形式。
12.
4 Q: Why do you need more than one form of evidence for salary and achievement?
为什么需要薪金和成就的证明超过一种形式?
13.
Unified Demonstration and Generalization of Intermediate Value Formula in Infinitesimal Calculus;
微积分中值定理的统一证明及推广形式
14.
MECHANICAL THEOREM PROVING FOR TENSOR WITH INDEXES IN DIFFERENTIAL GEOMETRY
基于指标形式张量的微分几何定理机器证明
15.
Formal Analysis and Proof of the 3GPP-AKA Protocol Based on PCL
基于PCL的3GPP-AKA协议的形式化分析与证明
16.
If the containing type can be proved to be heavy speech type, the method of the mathematical proposition proving and reasoning is correct.
如果能证明该蕴涵式为重言式,那么其数学命题的证明推理形式就是正确的。
17.
Proofs are presented with a" proof idea" component to reveal the concepts underpinning the formalism.
证明是通过「明思想」出的,深刻揭示了支撑形式层面的本质概念。
18.
that his attestation to the annexed INSTRUMENT is due form of Law, and made by the proper officer,
他对所附文件的证明,其形式合法,且是适当的官员所为