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更多词组

专业释义

計算機科學技術

• 自然縯繹系統
• 自然推理系統