natural deduction system

基本解釋

• [計算機科學(xué)技術(shù)]自然演繹系統(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)為基礎(chǔ)，建立了程序邏輯的一個形式推導(dǎo)系統(tǒng)，并證明了它的完全性。

• natural deduction system更多例句

詞組短語

短語

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

• natural deduction system更多詞組

專業(yè)釋義

計算機科學(xué)技術(shù)

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