theorem-proving

常見(jiàn)例句

• Property verification is carried out using theorem proving systems.
  特性騐証使用定理求証系統(tǒng)來(lái)實(shí)現(xiàn)。
• A member of the Herbrand base is called atom in automatic theorem proving.
  在自動(dòng)定理証明中,海爾勃朗基的成員也稱(chēng)爲(wèi)原子。
• The research in mechanical theorem proving has great significance in the theory and the practice.
  定理機(jī)器証明的研究，在理論和實(shí)踐上都具有重要的意義。
• Hans-Gert Grabe. (2002). The GeoProver Package for Mechanized (Plane) Geometry Theorem Proving Version 1.3a.
  鄭英豪(2003)，行政院國(guó)家科學(xué)委員會(huì)專(zhuān)題研究計(jì)畫(huà)-期中進(jìn)度報(bào)告：青少年圖形命題論証教學(xué)的研究(1/4)。
• Experimental Results on Propositional Theorem Proving with Boolean Ring. National Taiwan University, Taipei, Taiwan.
  佈爾環(huán)下零堦邏輯定理証明的一些實(shí)騐性結(jié)果。國(guó)立臺(tái)灣大學(xué)資訊工程學(xué)研究所碩士論文，臺(tái)北市。
• The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving.
  在微分幾何定理証明中;一個(gè)定理成立的輔助條件(非退化條件)不是惟一的;但越簡(jiǎn)單越好.
返回 theorem-proving