查询词典 hol

C. The formula of Human Development Index of Agro-Eco-TourismLand is:1 A-Amin EI-Elmin , TI-Tlmin3 max-min Imax-Im/7 Tlmax-TImin HDI- Human Development Index; A- Health Level of Indigene; E- Education Index;TI-Tourism Income.

HDI计算公式为：Hol==生A一AmlnEI一E IminTI一T Im in 3 Amax一Amin Elmax一Elmin Tlmax一Tlmin A一该旅游地居民健康状况；EI一智力程度指标； T一旅游从业人员的人均收入；下标min，max一最小值、最大值。

Until now, there are many kinds of machine language systemwhich are use to prove mathematical theorems, and several of them are recognized bythe mathematician and computer experts, such as HO1, Mizar, PVS, coq etc.

迄今为止，世界已有多种可用来进行数学命题证明和逻辑推理的机器语言系统，但其中只有少数几种语言可被普遍接受并受到数学家与计算机专家的认可，如HOL、Mizar、PVS、Coq等，它们各自的初衷不同，却有一个共同的特征：人类使用机器语言书写、计算、逻辑推理和证明文本性质的数学问题，并由计算机自动验证其正确性。

objective: to investigate the application effects and nursing experiences of hol-nursing on patients in operating room.

目的：探讨整体护理在手术室患者中的应用效果和护理经验。

Britain, the United States, Japan, France, Germany, Italy, tsarist Russia and Hol land were all very interested in this land of ours

英国、美国、日本、法国、德国、意大利、沙俄、荷兰，都很喜欢我们这块地方。

In the part of voice data transmission, MPLS was applied to set up the transporting path of voice data.

SCTP协定非次序的传递方式，可以避免HOL的问题，提高整个语音环境的服务效能。

Alco l hol-based hands are rubbed into hands and do not require sope and water.

以酒精为基础的洗涤剂不需要肥皂和水。

Balzac did not smoke cigarettes,nor did he drink any alco－hol.

巴尔扎克既不抽烟，也不喝酒。

Balzac did not smoke cigarettes,nor did he drink any alco－hol.

String是线或者绳子、带子。

FLD at high dose appears to be better than cimetidine for hydrochloric acid- induced model and ab-solute ethvl alco- hol- induced model.

茯苓饮500，1000，2000mg／Kg灌胃，对大鼠胃粘膜损伤有良好的保护作用，其中对盐酸和无水乙醇模型，茯苓饮高剂量优于cimetidine（P＜0.05，或P＜0.01）。

The dream ti me pl anes shoul d step down a dream that i s resonant wi th the thought-form that the DNA i n the body hol ds.

梦想时间层应该下载一个跟身体中 DNA所持有的思想形态相共鸣的梦想。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。