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.
小额信贷是一个通用术语，指的是为经常被排除在正式的银行体系之外的穷人提供金融服务。
应用推荐