查询词典 proving

Drought-resistant and water-saving plants are the base of xeriscape, with respects to reducing water-consuming lawns, proving more shades for planting beds, and using drought-resistant-and-shade-tolerance plants.

选用抗旱节水型植物是节水型园林的基本途径——减少耗水量大的草坪、为栽植地创造多荫环境、选用抗旱耐阴植物。

At last, we found ourselves in a pleasant park with trees proving shade

最后我们发现置身于一个漂亮的花园，绿树成荫

The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.

基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。

The new security forces are certainly trigger-happy. Some are proving undisciplined.

新安全部队的确好斗，事实证明一些士兵缺乏组织纪律。

"Proving a causal link between Portugal's decriminalisation measures and any changes in drug-use patterns is virtually impossible in scientific terms," concludes Mr Hughes.

&从科学的角度来说，证明葡萄牙非犯罪化措施与毒品使用模式的转变之间有因果关系事实上是不可能的& Mr Hughes得出的结论。

Regular sets: finite automata, regular expressions, equivalences among notations, methods of proving a language not to be regular.

正则集：有限自动机，正则表达式，符号表示法中的等价，证明一种语言不是正则的方法。

The theory and technology, dealing with the imbalance pelvis, of manual therapy of the joints have become intact. This study employs this theory and technology to rectify the asymmetric problem of the pelvic girdle, and reach to aesthetic view of waist buttocks as the goal, for the purpose of proving that manual therapy of the joints applied to shape hips is available.

骨节整复技术在处理骨盆变位已经有完整的理论与技术，本研究即应用此一徒手矫正的理论技术来处理骨盆的不对称问题，并以塑腰美臀之美学观点作为处理的目标，验证骨节整复手技於塑腰美臀应用之可行性。

It's proving very difficult to peg him down to a definite date for completion.

要规定他限期完成确是十分困难的。

It is proving very difficult to peg him down to a definite date for completion .

要规定他限期完成确是十分困难的。

The linked-up, sharing, live-updating melting pot of web technologies that has been dubbed the second version of the web is proving fertile ground for infiltrators seeking to inject malicious code into the mix.

这种融合了互联、共享和实时更新的网页技术，被冠以&第二代互联网&的称号，然而，它也成为企图向这个混合体注入恶意代码的入侵者的沃土。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了