hypothetical-deductive system 假设 ; 演绎系统
the formal deductive system pl pl公理体系
hypothetico-deductive system 假想
fuzzy deductive system fuzzy演绎系统
natural deductive system 自然演绎系统
formal 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.
最后用本文的形式演绎系统统一地讨论了诸如普通编译、自编译、自展结构、宏结构和分层结构的概念。
应用推荐