natural deduction system

基本解釋

• [計算機(jī)科學(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.
  以擴(kuò)充的自然推理系統(tǒng)爲(wèi)基礎(chǔ)，建立了程序邏輯的一個形式推導(dǎo)系統(tǒng)，竝証明了它的完全性。

• natural deduction system更多例句

詞組短語

短語

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

• natural deduction system更多詞組

專業(yè)釋義

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

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