查询词典 symbolic

Kandinsky, the founder of the abstractionist art once claimed more thoroughly that "Color is the form and the theme". Though it is somewhat biased, he is the forerunner of introducing the musical rhythm and melody into abstract symbolic language by point, line and plane in colors.

抽象绘画鼻祖康定斯基更彻底地宣言"色彩就是形状和题材"，尽管有其偏执的一面，但他在用色彩的点线面完成的把音乐节奏、旋律感觉带入抽象化符号语言的探索，开创了抽象绘画艺术的先河。

Together, he and the Acropolis seemed symbolic of mankind's endless search for achievement.

他和古城并立在一起，正象是人类自强不息的象征。

Adam's apple is the "mouse" is an image of a strong symbolic significance.

喉结就是"老鼠"，是一个具有浓厚象征意味的形象。

Leibniz's discoveries of Boolean algebra and of symbolic logic, also relevant to mathematics, are discussed in the preceding section.

莱布尼茨发现的也与数学相关的布尔代数和符号逻辑，如前所述。

This paper gives the study of polynomial symbolic algebraic theory in formal verification method.

本文研究基于多项式符号代数理论的形式化验证方法。

The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .

关于多项式符号代数理论在形式化验证方面的研究，人们给出了WGLs和TEDs两个多项式表示模型，并给出了相应的等价性验证算法。

Formal Verification; Polynomial Symbolic Algebraic; WGLs; TEDs

形式化验证；多项式符号代数； WGLs； TEDs

To use symbolic and algebraic computation techniques for studying the computational properties of procedure schemes, some convergent procedure schemes are investigated in algebraically closed field and real closed field.

过程模式在代数闭域和实闭域上的应用：本文在代数闭域和实闭域上研究了收敛过程模式，设计了用于自动推理的过程模式，并且用其解决微分动力系统研究中的中心-焦点问题。

The "Basic" part refers to the BASIC (Beginners All-Purpose Symbolic Instruction Code) language, a language used by more programmers than any other language.

Basic是指BASIC语言，这种语言的使用比其他任何语言都多。

The "Basic" part refers to the BASIC (Beginners All-Purpose Symbolic Instruction Code) language,a language used by more programmers than any other language,Visual Basic has evolved from the original BASIC language,Now it contains several hundred statements,functions,and keywords,many of which relate directly to the Windows GUI,Beginners can create useful applications by learning just a few of the keywords,yet the power of the language allows professionals to accomplish anything that can be accomplished using any other Windows programming language.

Basic是指BASIC语言，这种语言的使用比其他任何语言都多。Visual Basic源于原来的Basic语言，现在已经有好几百条语句、函数、关键词，其中好多都是直接与Windows的图形用户界面有关。初学者通过学习少量的关键词就能创建有用的应用程序，而该语言的强大功能可以让专业人员实现任何用其他Windows编程语言所实现的功能。

Liapunov—Schmidt method is one of the most important method in the bifurcation theory.

Liapunov—Schmidt方法是分叉理论的最重要方法之一。

Be courteous -- even when people are most discourteous to you .

要有礼貌──即使当別人对你最不礼貌的时候。