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