theoremproving

 
['θiərɪmprəʊvɪŋ]     ['θiərɪmprəʊvɪŋ]    
  • [计] 定理证明

theoremproving的用法和样例:

例句

  1. With the aid of the research fruits from the automated geometry theoremproving, this paper can implement the software with intelligence mentioned aboveby embedding the geometry theorem prover (GTP) in the DGS.
    应用几何定理机器证明的研究成果,可以研制出高智能的几何教育软件。
  2. theoremproving machine
    [计] 定理证明机
  3. theoremproving system
    [计] 定理证明系统
今日热词
目录 附录 查词历史