The club is the proving ground for young boxers.
这个俱乐部是年轻拳击手的摇篮。
As a judicial ideal, objective truth should not be the proving requirement but the proving goal.
追求客观真实作为一种司法理想应是证明目标而非证明要求。
Laboratory testing is also fundamental to the proving of new technologies such as tidal and wind (or solar) energy.
实验室检测还是验证潮汐能、风能、太阳能等新技术的基础。
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
通常，几何定理的证明是依据公理系统，按一定的逻辑规则演绎地进行。
Several heuristic rules and the proving of their correctness are given.
具体地给出若干启发式控制规则，并证明了这些规则的正确性。
In the proving process, we mainly use the induction on the formula structure.
在具体的证明过程中，主要使用的是关于公式结构的归纳法。
It will, thereby, make the expressing of the calculation process and the proving of theorems more refined.
这样将会使计算过程的表达和原理的论证更加完善。
Not every battle can be won, but every battle must be waged. This is the proving ground. Are you prepared to stand your ground?
不是所有战斗都能取得胜利，但是所有战斗都必须进行。这就是正在受到检验的立场。你准备好站稳自己的立场了吗？
Human's pursuit for the proving criterion of cases has undergone a course from irrational to rational and from foolish to civilized.
人类对案件证明标准的追求经历了一个由非理性到理性，由愚昧到文明的过程。
The more accurate data may be offered for the appraisal of weapon performance, the proving ground tests and the accumulation of information.
对以后武器性能的鉴定、靶场试验及资料积累可提供更加准确的数据。
Even if the proving reports were consistent, there is no logical reason why substances that could produce symptoms should cure such symptoms.
即使这些验证报告是始终一致的，产生症状的物质能够治愈相同的症状也没有合乎逻辑的道理。
The method to get it can be used to simplify the proving process of some logic equations, as well as some design processes of logical circuit.
利用这种表示反函数的方法，可简化一些逻辑等式的证明过程，并可使一些逻辑电路的设计过程简化。
Such sufficiency should be tested from such aspects as the preconditions, the relationship between objects and evidence, the source, the proving process and the proving duties.
应该从证据充分性的前提、证明对象与证据的关系、证据的来源、证明过程、证明责任等方面来综合判断证据的充分性。
Since the new century, the new curriculum standards for all subjects have been born in succession, and the proving teaching materials have been used in 11 pro vines or cities.
自新世纪以来，我国普通高中各学科课程标准相继出台，试验教材已在全国十一个省市试用。
Traditionally, Mechanical theorem proving often use a logic representation, and then inference, these methods lack of flexibility and the proving processes are difficult to understand.
传统上，定理机器证明常常使用某种逻辑表示，然后再进行推理，这些方法往往缺乏灵活性，且证明过程难以理解。
The article USES the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable.
本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序，并增加了一条简化命令，使该程序既严格又具有实际可操作性。
The proving procedures of mathematical propositions construct the system deduced progressively from known conditions.
数学命题的证明步骤是由已知条件逐步推演形成的系统。
The proving procedures of mathematical propositions construct the system deduced progressively from known conditions.
数学命题的证明步骤是由已知条件逐步推演形成的系统。
应用推荐