1.
Design and Implementation of Automation Proving Tactics in Isabelle;
Isabelle中自动化证明策略的设计与实现
2.
He vouched his words by his deeds.
他用自己的行动证明了自己的言辞。
3.
High automatic level and good repeatability& reproducibility is proved by using.
实际使用证明,该机器自动化程度高,测试结果的重复性和再现性好。
4.
Automated Theorem Prover for Pointer Logic
用于指针逻辑的自动定理证明器(英文)
5.
Study of Remote Automated Anonymous Attestation in Trusted Computing
可信计算中远程自动匿名证明的研究
6.
Automated reasoning for natural deduction system NR of relevance propositional logic
相干命题逻辑自然推理系统NR的自动证明
7.
The diplomatic diplomas are made in automation in the autonomy.
外交证书在自治区是自动化生产的。
8.
Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem.
象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。
9.
The Dynamics and Adjustment of Capital Structure:Related Evidence from Chinese Listed Company Panel Data;
资本结构的动态变化及其目标调整——来自中国上市公司平行数据的相关证明
10.
achieve their dreams?and in doing so show the rest of the world
实现他们的梦想，并通过自己的行动向世人证明，
11.
The Design and Implementation of an Automated Theorem Prover Used for Pointer Logic
用于指针逻辑的自动定理证明器的设计与实现
12.
The Dynamic and Order Parameter of Self-Organizing Evolvement of Technology Invention;
技术发明自组织演化的动力和序参量
13.
Design Quality Ensuring Test Case in Automatization Test
自动化软件测试案例设计的质量保证
14.
Research on Automatic Service Composition and Formal Verification;
Web服务自动组合与形式化验证的研究
15.
Design and Implementation of SoC Functional Verification Automation System;
SoC功能验证自动化系统的设计与实现
16.
Constructing of "Two-Certificate Congenial" Teaching Project of Automation Profession;
自动化专业“双证融通”教学方案的构建
17.
Software Quality Assurance of ATC Automation System
浅析空管自动化系统的软件质量保证
18.
There is already evidence that such fish population changes have occurred since the mid-1960s.
已经有证据证明，自从六十年代中期，这种鱼群已有变化。