Several heuristic rules and the proving of their correctness are given.
具体地给出若干启发式控制规则，并证明了这些规则的正确性。
As a judicial ideal, objective truth should not be the proving requirement but the proving goal.
追求客观真实作为一种司法理想应是证明目标而非证明要求。
It will, thereby, make the expressing of the calculation process and the proving of theorems more refined.
这样将会使计算过程的表达和原理的论证更加完善。
The proving procedures of mathematical propositions construct the system deduced progressively from known conditions.
数学命题的证明步骤是由已知条件逐步推演形成的系统。
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
通常，几何定理的证明是依据公理系统，按一定的逻辑规则演绎地进行。
Not every battle can be won, but every battle must be waged. This is the proving ground. Are you prepared to stand your ground?
不是所有战斗都能取得胜利，但是所有战斗都必须进行。这就是正在受到检验的立场。你准备好站稳自己的立场了吗？
The Project Content: The proving up, exploiture of the hotspring. The construction of the pipe net and the water supply operation.
项目内容：温泉资源的勘探、采，温泉供水管网建设，温泉供水经营。
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.
应该从证据充分性的前提、证明对象与证据的关系、证据的来源、证明过程、证明责任等方面来综合判断证据的充分性。
Xx Company is nortorious for its on-site fly-tipping, giving rise to terrible pollution and a great number of rubbish collectors. please see attached for the proving photographs.
公司随意往现场外倾倒垃圾，导致严重的环境污染，并引来大批的拾荒者，请看所附照片。
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 problems involve the correct expression of the rule of three rigidity pieces, the proving of the proposition about symmetry and possibility of reducing contents about the influence line etc.
这些问题包括三刚片规则的准确表述、带虚铰的三刚片规则的证明、与对称性有关的命题的证明和删减影响线有关内容的可能性等等。
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 administration has no vested interest in proving public schools good or bad.
该行政部门在证明公立学校的好坏方面没有什么既得利益。
"There's a mountain of evidence proving the importance of sex influences at all levels of brain function," he told The Seattle Times.
他在接受《西雅图时报》采访时表示，“大量证据证明，性对大脑各方面功能有影响。”
The economist J.K. Galbraith once wrote, "Faced with a choice between changing one's mind and proving there is no need to do so, almost everyone gets busy with the proof."
经济学家J.K.加尔布雷斯曾经写道：“当面对这样一个抉择，即改变自己的想法或证明没必要改变它时，几乎每个人都会忙于证明（没必要改变）。”
Passports are frequently serviceable in proving the identity of the traveler.
护照通常可用来证明旅行者的身份。
This combination is proving to be the best way to prepare today's children to be the makers and builders of tomorrow.
事实证明，这种结合是让孩子们在未来成为创造者和建设者的最好方式。
Whoever formulated the theory of the origin of the universe, it is just hypothetical and needs proving.
无论谁提出了宇宙起源的理论，它都只是一个假设，需要证明。
Whoever formulated the theory of the origin of the universe, it is just hypothetical and needs proving.
无论谁提出了宇宙起源的理论，它都只是一个假设，需要证明。
In addition to the inherent operational hazards of water scooters, they are proving to be an environmental nuisance.
水上摩托车除了固有的操作风险外，逐渐被证明一种环境公害。
Proving the truth of the famous scientist Louis Pasteur's words "chance favours only the prepared mind", Perkin saw the potential of his unexpected find.
珀金看到了他的意外发现很有潜力，这印证了著名科学家路易斯·巴斯德的话“机会只青睐有准备的人”。
The continuous and reckless use of synthetic chemicals for the control of pests which pose a threat to agricultural crops and human health is proving to be counter-productive.
为控制害虫，人们持续且不计后果地使用人工合成化学品，对农作物和人类健康造成危害，事实证明会产生相反的效果。
We know about the benefits of eating fittingly for our physical health, but food, and cooking it, are proving to be good for our mental health as well.
我们知道合理饮食对我们的身体健康有益，但事实证明，食物和烹饪食物对我们的心理健康也有好处。
A growing number of countries in Asia are proving the value of these principles.
越来越多的亚洲国家正在证明上述原则的价值。
But our analysis showed that new bone growth had occurred in response to the necrosis, proving the condition was present during his lifetime.
但我们的分析结果表明，坏疽的部位已经有新骨长出来，这说明这些病症在他生前就已经存在了。
But our analysis showed that new bone growth had occurred in response to the necrosis, proving the condition was present during his lifetime.
但我们的分析结果表明，坏疽的部位已经有新骨长出来，这说明这些病症在他生前就已经存在了。
应用推荐