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.
  以扩充的自然推理系统为基础，建立了程序逻辑的一个形式推导系统，并证明了它的完全性。

• natural deduction system更多例句

词组短语

短语

• labeled natural deduction system 标号自然演绎系统

• natural deduction system更多词组

专业释义

计算机科学技术

• 自然演绎系统
• 自然推理系统