Finally the paper presents the formalized language RCL2000 of restriction.
最后给出了约束的形式化描述语言rcl 2000。
G. Frege's Begriffsschrift, a Formalized Language of Pure Thought Modelled upon the Language of Arithmetic is well-known as a foundation stone in modern logic.
弗雷格的《概念文字：一种模仿算术语言构造的纯思维的形式语言》可谓现代逻辑的开山之作。
So it is right to say that studying maths is both to study a formalized language with a certain implication and to use this language to solve kinds of problems.
本文主要讨论形式化在数学概念教学与解题教学方面的应用。
But the advantages of a formalized standard language understood and interpreted the same way by both business and IT are huge.
但是，形式化的标准语言能使业务和IT在理解和解释上达成一致，这一优势是巨大的。
Rhetorical Structure Theory is a representative school of American Functional Linguistics, with its aim to provide a formalized framework for the analysis and generation of language.
修辞结构理论是美国功能语言学流派的主要代表之一，其宗旨是为语言的分析和生成提供形式的框架。
The paper models software requirement in the form of formalized specification language b, develops software based on a precise mathematical framework in order to achieve better software performance.
利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。
Nowadays, theformalized methods in software development mainly are formalized specification languages, such as Z language, VDM language and RAISE language, etc.
目前软件开发中的形式化方法主要是形式化规范说明语言，有Z语言、VDM语言和RAISE语言等。
A knowledge representation language is designed and implemented based on the formalized definition of object and the specification of our expert system developing tool.
按照面向对象的形式定义，结合专家系统的具体特征，设计适用于专家系统开发工具的知识表示语言。
A knowledge representation language is designed and implemented based on the formalized definition of object and the specification of our expert system developing tool.
按照面向对象的形式定义，结合专家系统的具体特征，设计适用于专家系统开发工具的知识表示语言。
应用推荐