全部

1·Maitland offered one reason: the subject requires researchers to master an extremely formal system of pleading and procedure.

梅特兰给出了一个理由：这一课题要求研究人员“掌握一套极其正式的答辩程序系统”。

2·This dissertation presents a formal system of cooperation.

提出了一种描述主体协作的形式系统。

3·Therefore no formal system is a true axiomatization of full number theory.

因此，没有正式的系统是一个真正的公理化充分一些理论。

4·This paper deals with the formal system of propositional calculus of medium logic (MP).

本文讨论了中介逻辑命题演算(MP)的形式系统。

5·In a social system structure, the system includes the formal system and the informal one.

在一个社会的制度结构中，制度包括正式制度和非正式制度。

6·This theorem reveals that there exist undecidable propositions in a consistent formal system.

该定理揭示了在一个相容形式系统中存在着不可判定的命题。

7·Organizational behavior modification - a formal system of behavioral feedback and reinforcement.

组织行为修正法—一套正式的行为反馈于强化系统。

8·The relation of inference between the formal system wand the formal system SW is also described.

描述了形式系统W与形式系统SW形式推理之间的关系。

9·The consistency of a formal system of arithmetic cannot be proved by means formalizable within that system.

算术的形式系统的自洽性不可能通过该系统的形式化途径而得到证明。

10·Distributed Operating System Formal System Model (DOSFS) consists of the grammar DOSFSG and the semantics DOSFSS.

分布式操作系统形式化系统模型DOSFS主要由文法DOSFSG和语义DOSFSS两部分组成。