It is given and discussed the hierarchical structure of general distributed application system, and given its formal description.
首先给出并讨论了一般分布式应用系统的层次化结构，并给出了其形式化描述。
General deduction and strong completeness of the formal deductive system l? Are further studied.
进一步讨论了形式系统L ？中的一般演绎推理及强完备性问题。
Microfinance is a general term that refers to the provision of financial services for the poor who conventionally have been excluded from the formal Banking system.
小额信贷是一个通用术语，指的是为经常被排除在正式的银行体系之外的穷人提供金融服务。
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
This makes formal knowledge of professional and technical personnel, technical personnel in general and the help of expert system technology to achieve close to the expert level.
这就使得专业技术人员的知识形式化，使一般的技术人员借助于专家系统达到接近专家的技术水平。
Throughout the countries and regions of developed law system, the judgment of voluntary confession is formal judgment. We find that the formal verification has become a general practice.
纵观法制发达国家和地区的自白任意性规则，我们不难发现自白的形式化查证已经成为一种通例。
Throughout the countries and regions of developed law system, the judgment of voluntary confession is formal judgment. We find that the formal verification has become a general practice.
纵观法制发达国家和地区的自白任意性规则，我们不难发现自白的形式化查证已经成为一种通例。
应用推荐