natural deduction system

基本解釋

• [計(jì)算機(jī)科學(xué)技術(shù)]自然演繹系統(tǒng)自然推理系統(tǒng)

英漢例句

雙語(yǔ)例句

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

• natural deduction system更多例句

詞組短語(yǔ)

短語(yǔ)

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

• natural deduction system更多詞組

專(zhuān)業(yè)釋義

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

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