General deduction and strong completeness of the formal deductive system l? Are further studied.
进一步讨论了形式系统L ？中的一般演绎推理及强完备性问题。
In this paper a combinational theory of compilers is described and a formal deductive system is given.
本文讨论了编译软件的组合理论，并提出了一个形式演绎系统。
Finally, concepts such as ordinary compiling, self-compiling, bootstrap structure, macro structure and hierarchical structure are discussed with the formal deductive system given in this paper.
最后用本文的形式演绎系统统一地讨论了诸如普通编译、自编译、自展结构、宏结构和分层结构的概念。
A logic programming language EXLOGL based on extended PROLOG is proposed and its interpreting system architecture, knowledge base structure and deductive solution principle are discussed.
提出一种基于PROLOG扩充不确定性处理能力的逻辑程序设计语言EXLOGL，并介绍了该语言解释系统的总体结构、知识库设计及演绎求解原理。
The design of DOOL, the language of the deductive object database, and the implementation of the prototype system based on DOOL are the keys of this diesis.
演绎对象库语言dool的设计与基于DOOL的原型系统的实现是本文的关键。
Two-level deductive database system is the amalgamation of conventional database and PROLOG system, which is divided into two levels: database level and inference level.
二级演绎数据库系统是一种结合一般数据库系统与PROLOG系统特点的演绎数据库系统，它分为数据库级和推理级两个不同的层次。
The deductive legal reasoning of syllogism, as a main way of application of law, which has a stable basis of history, culture and system is worth studying.
大陆法系以演绎式三段论法律推理作为基本的法律适用方法具有坚实的历史、文化以及制度基础，研究演绎式三段论法律推理的运作逻辑十分必要。
FTA (Fault Tree Analysis) is a deductive analyzing method, which considers the fundamental failure incidents, discusses the source of system troubles and goes deep into the failure groups.
故障树分析法是一种演绎分析的方法，考虑的是基本故障事件，追溯的是系统失效根源，深入到故障组合之中。
The two-level deductive database is the amalgamation of a conventional database system and a PROLOG system, which is divided into two levels, the database level and the logic program level.
二级推理数据库是传统的数据库系统和PROLOG系统的结合，它可分为二级：数据库级及逻辑程序级。
The fault tree of electric submersible pump system is established by deductive method.
用演绎法建立了潜油电泵系统的故障树。
A two-level deductive database system has bean designed and implemented in their department.
本文设计并实现了一个二级推理数据库系统。
A two-level deductive database system has bean designed and implemented in their department.
本文设计并实现了一个二级推理数据库系统。
应用推荐