1.
Formalization of Propositional Calculus Form Systems in Isabelle/HOL;
命题演算形式系统在Isabelle/HOL中的形式化
2.
Research on Formalization of Systems Modeling Language Based on rCOS;
基于rCOS的SysML形式化研究
3.
The Stduy of Formal Description of Chinese Character Glyph and Application
汉字字形形式化描述方法及应用研究
4.
Energy is capable of being converted from one form into another .
能可以从一种形式转化为另一种形式。
5.
a progression from simpler to more complex forms.
由简单形式向更复杂形式变化的过程。
6.
To take physical form or shape.
形体化采取物质的形式或成形
7.
To give all of the inflected forms of a word; to provide a paradigm.
词形变化形式给出一个单词所有的屈折变化形式；提供词形变化表
8.
Figurative Expression Forms of Chinese Language and Their Cultural Origins;
汉语言语形象化表达形式及其文化源
9.
the form in which carbohydrate are stored.
碳水化合物的贮存形式。
10.
materialized labour in kind
实物形式的物化劳动
11.
a degenerate life form.
一种退化了的生命形式
12.
pattern of export-propelled industrializations
输出推动工业化的形式
13.
the uninflected form of the verb.
动词的非屈折变化形式。
14.
simplify the form of a mathematical equation of expression by substituting one term for another.
通过用一种形式代替另一种形式使数学表达式的形式得到简化。
15.
Actually different expressing forms like the completed, the slight initial consonant and the assimilated are found in dialects in south Yunnan.
有些体的表现形式包括完全形式、脱落声母形式、被同化形式等多种形式。
16.
A marked change in form or appearance; a metamorphosis.
变形在形式或外表上发生的明显变化；
17.
make linear or get into a linear form.
使线性化或形成线的形式。
18.
The phonological forms and implicature of morphological changes in English and Chinese;
英汉语言形态变化的语音形式及意义