... 演绎推理 deductive inference 演绎系统 deduction system 演绎系统完备性 completeness of deduction system ...
基于116个网页-相关网页
假设-演绎系统 hypothetical-deductive system
自然演绎系统 [计] natural deduction system
演绎系统完备性 [计] completeness of deduction system
基于规则的演绎系统 rule-based deduction system
正向演绎系统 forward deduction system
后向演绎系统 [计] backward deduction system
过程演绎系统 [计] procedural deduction system
演绎系统知识 deductive-systematic knowledge
标准演绎系统 [计] standard deduction system
This paper builds the Deductive System of Temporal Logical formulas in default theory.
本文建立了基于缺省理论的时态逻辑公式演绎系统。
参考来源 - 基于缺省理论演绎的规则型T·2,447,543篇论文数据，部分数据来源于NoteExpress
本文讨论了编译软件的组合理论，并提出了一个形式演绎系统。
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.
最后用本文的形式演绎系统统一地讨论了诸如普通编译、自编译、自展结构、宏结构和分层结构的概念。
Finally, concepts such as ordinary compiling, self-compiling, bootstrap structure, macro structure and hierarchical structure are discussed with the formal deductives...
应用推荐