形式化

The aesthetic value of literary language is incarnated by the formalization of emotion,semantic constructiveness,latent interest o...

文学语言的审美价值具体体现在情感形式,语义建构,符号等方面。

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

描述逻辑是一种知识表示的形式语言,是一阶逻辑的可判定子集。

Since his ultimate goal is to prove the rationality of the world, he has to transcendentalize, formalize and idealize the theory.

由于的最终目的是要证明世界的合，不得不把交往行动论先验、形式和。

These observations allow one to formalize the definition of reflection: a reflection is an involutive isometry of an Euclidean space whose set of fixed points is an affine subspace of codimension 1.

这些观察允许我们形式反射的定义: 反射是欧几里得空间的对合等距同构，它的不动点集合是余维度为 1 的仿射子空间。