natural deduction system
基本解释
- [计算机科学技术]自然演绎系统自然推理系统
英汉例句
- This paper presented an automated reasoning algorithm for natural deduction system(NR)of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。 - First, an extended natural deduction system of the programming logic is established and then its completeness is proved.
以扩充的自然推理系统为基础，建立了程序逻辑的一个形式推导系统，并证明了它的完全性。
双语例句
词组短语
- labeled natural deduction system 标号自然演绎系统
短语
专业释义
- 自然演绎系统
- 自然推理系统