1.
Automated reasoning for natural deduction system NR of relevance propositional logic
相干命题逻辑自然推理系统NR的自动证明
2.
He vouched his words by his deeds.
他用自己的行动证明了自己的言辞。
3.
Design and Implementation of Automation Proving Tactics in Isabelle;
Isabelle中自动化证明策略的设计与实现
4.
Automated Theorem Prover for Pointer Logic
用于指针逻辑的自动定理证明器(英文)
5.
Study of Remote Automated Anonymous Attestation in Trusted Computing
可信计算中远程自动匿名证明的研究
6.
achieve their dreams?and in doing so show the rest of the world
实现他们的梦想，并通过自己的行动向世人证明，
7.
The Design and Implementation of an Automated Theorem Prover Used for Pointer Logic
用于指针逻辑的自动定理证明器的设计与实现
8.
A Preliminary Discussion about Discretional Evaluation of Evidence under the Verification Mode in China;
浅议我国印证证明模式下的自由心证
9.
She proves that it is pure that herself is.
她证明她自己是清白的。
10.
The reader should verify this calculation.
此式可由读者自行证明。
11.
That theory comes of practice has long been proved .
理论来自实践早已证明。
12.
vindicate one's claim [right] to...
证明自己具有…的权利
13.
Authentication Protocol Based on Self-certified Public Key and Zero-knowledge Proof
基于自证明公钥和零知识证明的身份认证协议
14.
“Delivery” with respect to instruments, documents of title, chattel paper or certificated secunties means voluntary transfer of possession.
“移交”涉及文据、产权文件、动产证书或证券证明，指自愿转移对上述文件的占有。
15.
There is no evidence from animal experiments that irradiated food is capable of causing cancer.
目前还没有任何来自动物实验的证据表明,辐照过的食品会致癌。
16.
As a retriever, Mutt proved he understood his role.
马特用自己的行动充分证明了他是一只称职的猎犬。
17.
A member of the Herbrand base is called atom in automatic theorem proving.
在自动定理证明中,海尔勃朗基的成员也称为原子。
18.
High automatic level and good repeatability& reproducibility is proved by using.
实际使用证明,该机器自动化程度高,测试结果的重复性和再现性好。