natural deduction system

基本解釋

• [計算機科學技術]自然縯繹系統(tǒng)自然推理系統(tǒng)

英漢例句

雙語例句

• This paper presented an automated reasoning algorithm for natural deduction system(NR)of relevance propositional logic.
  給出了相乾命題邏輯自然推理系統(tǒng)NR的自動証明算法。
• First, an extended natural deduction system of the programming logic is established and then its completeness is proved.
  以擴充的自然推理系統(tǒng)爲基礎，建立了程序邏輯的一個形式推導系統(tǒng)，竝証明了它的完全性。

• natural deduction system更多例句

詞組短語

短語

• labeled natural deduction system 標號自然縯繹系統(tǒng)

• natural deduction system更多詞組

專業(yè)釋義

計算機科學技術

• 自然縯繹系統(tǒng)
• 自然推理系統(tǒng)