您要查找的是不是：
- graphic formal language 图形形式语言
- The letter was in very formal language. 这封信使用了非常正式的语言。
- Second, speechmaking requires more formal language. 其次，公开演说需要正式语言。
- Editorial language consists of graphic language and formal language, which have expressive, evaluative, adjustive and aesthetic functions. 编辑语言分为文字语言和形象语言两大类,具有表述功能、评价功能、导引功能、调剂功能和审美功能。
- A formal language used by peer entities to exchange information. 为交换信息由对等实体使用的一种形式语言。
- It's a formal language to describe complex cellular networks. 它是描述复杂细胞系统的形式语言。
- ADL is used to specify a computer network.DORIS were extended with the formal language. ADL专用于计算机网络，是DORIS的一种形式语言扩充。
- As a formal language in the domain knowledge,ontology has been a vigorous tool for the domain knowledge management. 本体作为领域知识的规范化形式语言,已成为领域知识管理的强有力工具。
- Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic. 描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。
- Colin Chinnery’s project, “I Want What You Want” (2009) engages the formal language of exhibition construction. 秦思源作品，“我想要的就是你想要的”（2009），使用的是展览构造本身的形式语言。
- Finally,the model is defined with the Alloy formal language,and a method of expanding the Clark-Wilson model is also presented. 采用Alloy形式化语言来定义模型,并且给出描述扩展Clark-Wilson的方法。
- Fresco is an art of environment. So there is no special visual sense of beauty until the picture's formal language is coordinated with the environment harmoniously. 壁画属于环境艺术,只有当画面的形式语言与环境协调统一,才能展现出特有的视觉美感。
- Bill Venners: Are there parts of contracts that are difficult or impossible to express in a formal language, that you can only express in a human language? 在形式语言里,契约的某些部分是否难以或者无法表达,而只能通过人类语言来表述?
- Davidson introduced the factors of language user on the basis of Tarski's truth theory for formal language and gave an appropriate definition for natural language. 戴维森在塔斯基的对形式语言的真之定义基础之上引入了语言使用者,对自然语言的意义进行了阐释。
- The production of works in Hellenization term are determined by unbosom of feelings the theatrical pursue carve of formal language, manifestation of ugly and pain. 情感的宣泄、戏剧性的追求、形式语言的雕琢、丑陋与痛苦的表现，主宰着希腊化时期的雕塑创作。
- The Z language is a formal language for specifying data-related characteristics of transformational systems. however, it is not designed to model behaviour. Z语言是一种描述转换系统相关数据特征的形式化语言,然而不适合建立动态行为的模型。
- Jason Gu wanna improve my English thru attending this kind of class,esp for those who not have enough bucks to enroll formal language school or training centre. 杨阳我很喜欢英语;大学学的专业也是英语.;只要有英语方面的演讲等一些活动我从来没有错过的
- This paper used the formal language LOTOS to describe the models of the PIM-SM protocol.Subsequent, validation and analysis of the models, using CADP tools, was done. 提出PIM-SM组播系统的抽象模型，给出了协议实体的部分形式化描述，并使用CADP工具集对其进行简单验证。
- Representing the meta-meta model with a first order language based on predicate logic, the meta-model turns out to be the interpretation of that formal language. 用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。
- Abstract concepts that underlie much advanced work in computer science, with major emphasis on formal language, models of computation, logic, and proof stategies. 强调在计算机科学的先进的工作，与对计算规范语言、模型，逻辑和证明战略的主要重点的抽象概念。
