查询词典 proofs

We have sufficient proofs to prove he has criminality.

我们有充分的证据证明他有罪。

Hobbes hoped to arrive at his laws of motion deductively, in the manner of geometrical proofs.

霍布斯希望达成他的运动定律deductively的方式，几何证明。

group signature ; discrete logarithm ; proofs of zero-knowledge ; digital signature ; security

因此，设计群组间可共享的安全的群签名方案引起了人们广泛的兴趣。

The paper also gives proofs of the correctness,the blindability,the undeniability non-repudiation and distinguishability of the scheme.

论文对方案的正确性、盲性、不可伪造性、不可抵赖性和可区分性进行了证明。

In 1838, Ralph Waldo Emerson's divinity school address declared that religious truth should be based on the authority of inner consciousness, not on external historical proofs.

在1838年，拉尔夫沃尔多爱默生的神学校地址宣布宗教的真理要立足于党内的权威意识，而不是对外部的历史证明。

On such a subject it would be unwise to pronounce dogmatically; but if the investigations of our previous chapters have not led us astray, we shall be compelled to renounce the hope of finding philosophical proofs of religious beliefs.

对于这样一个问题，独断是不明智的；但是前几章的研究如果没有把我们引入歧途的话，我们便不得不放弃为宗教信仰寻找哲学证据的希望了。

Edgeworth devoted considerable effort to insisting that mathematical proofs were appropriate for all schools of thought in economics.

埃奇沃思用于相当大的努力，坚持，数学证明是适合所有思想流派经济学。

This book gives an elementary undergraduate-level introduction to Number Theory, with the emphasis on carefully explained proofs and worked examples.

本书提供了一个基本的本科生与细心的解释，证明重视程度和工作的例子介绍数论。

But, by semantic embedding the theorem derivations in object logic usually descends to ones in base logic, which not only requires users know the encoding quite well, but also lower the abstraction level of object logic, and readability and hand-reexecutability of proofs.

但是，语义嵌入方式下目标逻辑定理推导常常向基逻辑下降，这不但要求用户了解编码细节，而且也大大降低了目标逻辑的抽象性以及PVS一向追求的证明可读性和手工可再现性。

Now, these are not proofs of the double lip embouchure and it being the best one, but I feel that after starting many clarinet kids, who naturally cover both lips, and then feeling the difference in their playing, it is my clear opinion.

这些不是证明双包是最好的嘴型，不过我感觉我启蒙的很多小孩，那些很自然包住双唇的发出的音色是完全不同的。

Chrysanthemum of 10 thousand birthday is lax to edaphic requirement, with the arenaceous qualitative loam with fecund, good drainage had better.

万寿菊对土壤要求不严，以肥沃。排水良好的砂质壤土为好。

He unstepped the mast and furled the sail and tied it.

他拔下桅杆，把帆卷起，系住。