hypothetical-deductive system 演绎系统
fuzzy deductive system fuzzy演绎系统
formal deductive system 形式演绎系统
natural deductive system 自然演绎系统
semantically deductive system 语义推理系统
This paper builds the Deductive System of Temporal Logical formulas in default theory.
本文建立了基于缺省理论的时态逻辑公式演绎系统。
参考来源 - 基于缺省理论演绎的规则型T·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
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.
最后用本文的形式演绎系统统一地讨论了诸如普通编译、自编译、自展结构、宏结构和分层结构的概念。
应用推荐