theorem-proving
基本解釋
- n.定理證明
英漢例句
- Property verification is carried out using theorem proving systems.
特性驗(yàn)證使用定理求證系統(tǒng)來實(shí)現(xiàn)。 - A member of the Herbrand base is called atom in automatic theorem proving.
在自動(dòng)定理證明中,海爾勃朗基的成員也稱為原子。 - 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)，行政院國家科學(xué)委員會(huì)專題研究計(jì)畫-期中進(jìn)度報(bào)告：青少年圖形命題論證教學(xué)的研究(1/4)。 - Experimental Results on Propositional Theorem Proving with Boolean Ring. National Taiwan University, Taipei, Taiwan.
布爾環(huán)下零階邏輯定理證明的一些實(shí)驗(yàn)性結(jié)果。國立臺(tái)灣大學(xué)資訊工程學(xué)研究所碩士論文，臺(tái)北市。