使用多种语言的

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等，它们各自的初衷不同，却有一个共同的特征：人类使用机器语言书写、计算、逻辑推理和证明文本性质的数学问题，并由计算机自动验证其正确性。

With some of your music, like in Macross Plus, there were a lot of multilingual songs.

你的一些音乐，比如在Macross Plus中，有许多歌曲使用了多种语言。

About half of our student body is from overseas, and all are multilingual.

大约有一半的学生团体，是来自海外，所有使用多种语言。

At the same time, the Central Plains culture, Indian culture, and culture of Mesopotamia, the Persian culture, and Greek culture, here in Rome and cultural known blend in the use of multilingual text, such as Chinese, Tokharians text, the text in Hetian, Sogdian and others.

同时，中原文化、印度文化、两河流域文化、波斯文化、希腊文化、罗马文化等在这里荟萃、交融出现了多种语言文字的使用，如汉文、吐火罗文、于阗文、粟特文等。

At the same time, the Central Plains culture, Indian culture, Mesopotamian culture, Persian culture, Greek culture, Roman culture, such as meta-here, a blend of the use of text in multiple languages such as Chinese, Tocharians text, text Yutian, Sogdians text and so on.

同时，中原文化、印度文化、两河流域文化、波斯文化、希腊文化、罗马文化等在这里荟萃、交融出现了多种语言文字的使用，如汉文、吐火罗文、于阗文、粟特文等。

Xinjiang is a multi-ethnic, multi-lingual, multi-lingual and multi-cultural ethnic autonomous areas, since ancient times is the intersection of multilingual text, the history of language used, such as the Huns, Jianduoluo language, in Hetian Cypriots, Chinese , Yanqi - Qiuzi language, Turkic language, Sogdian language, Uighur language, medieval Persian, the Tibetan language, Mongolian, Manchu language, and other languages.

新疆是多民族、多语种、多文种和多元文化的民族自治地方，也是自古以来多种语言文字的交汇之地，历史上使用过诸如匈奴语、犍陀罗语、于阗塞语、汉语、焉耆—龟兹语、突厥语、粟特语、回鹘语、中古波斯语、吐蕃语、蒙古语、满语等语言。

More than 6,000 languages aer spoken in the wowld today.

在当今的世界里，有6，000多种语言为人们所使用。

Colorizes multiple languages depending on a syntax file specified by the programmer by parsing RTF instead of setting colors using .

将它变成不同的颜色多种语言，它使用的是一个由程序员指定的通过RTF进行分析的语法文件，用来代替设置颜色使用的。

Do polyglots think differently in different languages?

会说多种语言的人在使用不同语言时会用不同方式思考吗？

Norforce's breadth of operations encompasses added than 100 Aboriginal languages, and abounding of its soldiers allege English as their third or even fourth tongue. The regiment's white admiral accept to be acute to a accomplished ambit of cultural differences a part of their soldiers.

非武力组织活动区域内有一百多种语言在使用，很多战士都是把英语作为他第三语言甚至第四语言来使用的该组织的白人军官必需对士兵内存在文化差异十分敏感。

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.

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