查询词典 proof

To be angry dawn a weak man is a proof which you are not extremeccly strong yweself.

对弱者发脾气证明你自己并不很强。

Matching facilities: The air conditioning/refrigerator/television/set-top box/burglar-proof door/lampblack machine/cookware/showers the water heater/bath tyrant/double bed/closet/cloth skill daybed/table furniture: Double bed/big closet/television cabinet/cloth skill daybed/table repair situation: Medium fine repair environment: The close neighbor Haixin multi-level crossing bridge, the Taitung sports street, the downstairs has the market, the shopping is convenient.

个人 配套设施：空调/冰箱/电视/机顶盒/防盗门/油烟机/灶具/淋浴热水器/浴霸/双人床/衣柜/布艺沙发床/桌子家具：双人床/大衣柜/电视柜/布艺沙发床/桌子装修情况：中等精装修周围环境：紧邻海信立交桥，台东体育街，楼下有市场，购物方便。

There are lots of errors and proof reading needs to be done, translation even in my opinion is horrible because it just doesn""t grasp the same emotion dayfly delivers in his writings.

我退役的理由不是因为我那差劲的表现，也不是因为游戏的不平衡，而是一些来自我自己的游戏外的原因。

GM shall be notified in writing and shown proof of a death certificate.

所有截至通知日的费用将从账户中扣减。

And shown proof of a death certificate.

所有截至通知日的费用将从账户中扣减。

With the intention to carry out a quality project, proper to the needs of an educational program, we intended to realize a building both valuable and simple and also austere, with resistant constructive solutions proof against a hard use and a marked debilitation, able to withstand a long life in perfect condition and with low maintenance to an absolute minimum.

为了打造出一个很高质量的方案来满足教育的需求，我们有意的使这个建筑既有实用价值又很简单朴素，几乎没有什么装饰。这样在这些承受能力很强的构建之下这个建筑可以在使用很多年之后仍然能够保证良好的状况，同时其维护费用也降到了最低。

Theoretically,we simplify the proof of 〓-decidability,and practically,prompt the node-prune efficiency in Thistlewaite's decision procedure.

在理论上化简了〓的可判定性证明，在实现中提高了Thistlewaite判定过程的剪枝效率。

Two normal forms, best-simple normal form and literal normal form, are presented at first in order to eliminate the complexity of formulas decision. Based on the two normal forms, a deduction proof of decidability theorem in L and a decision algorithm P based on deduction for proportional formulas are given and a decision machine found on P, DMBD, is also designed.

首先提出了消解复杂性的两种范式：最简范式和文字范式，在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P，并基于ML语言设计了基于P的演绎判定机DMBD。

The industry magnesia mainly uses in making the ceramics, the enamel, the fire-proof material and so on; In the polishing compound, the adhesive, in the paint manufacture takes the stopping; In the artificial fiber, the rubber (chloroprene rubber, fluorine rubber) make the promoter and the catalyst; Makes the antacid on the medicine in the laxative, uses in treating the hyperacidity, the stomach and duodenum ulcer; May take the hard sugar purification is the decolorant in the food processing, the ice cream pH value conditioner and so on; In the construction profession, the magnesia may the manufacturing contain the magnesium special cement and the heat preservation board and so on; The biggest use is serves as the fertilizer and domestic animal's feed in the agriculture, causes the plant and in the animal metabolism process principal element, when serves as cow's feed, may prevent because to lack nervous system function being out of balance which the magnesium causes, namely the so-called forage grass convulsion gets sick; Uses in the chemical industry making the metal magnesium and the magnesium chemical, like magnesium sulfate, magnesium chloride as well as other chemicals; Moreover also uses in the water treatment, the detergent which the flue was mad uses in the glass, the dye, the electric cable, the silcon steel industry, the uranium processing, the electronics industry, the insulation material industry, as well as uses in professions and so on petroleum chemical additive, casting, phenolic plastic.

工业氧化镁主要用于制造陶瓷、搪瓷、耐火材料等；在抛光剂、黏合剂、油漆的制造中作为填充料；在人造纤维、橡胶中作促进剂和催化剂；在医药上作抗酸剂于轻泻剂，用于治疗胃酸过多、胃和十二指肠溃疡病；在食品加工上可作为砂糖精制是的脱色剂，冰淇淋的pH值调节剂等；在建筑行业中，氧化镁可生产制造含镁特种水泥和保温板等；在农业上最大用途是用作肥料和牲畜的饲料，使植物和动物代谢过程中的主要元素，用作奶牛的饲料时，可防止因缺镁而引起的神经系统机能失调，即所谓牧草性痉挛病；在化学工业中用于制造金属镁和镁化学品，如硫酸镁、氯化镁以及其他化学品；另外也用于水处理，烟道气的洗涤剂用于玻璃、染料、电缆、硅钢工业、铀加工、电子工业、绝缘材料工业，以及用于石油添加剂、铸造、酚醛塑料等行业。

We give a new proof for the triangular decomposition theorem of affine composition algebras.

我们给出了仿射合成代数的三角分解定理的一个新证明。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。