Automatic Theorem Proving中文,Automatic Theorem Proving的意思,Automatic Theorem Proving翻译及用法

2025-08-10 21:06 浏览次数 9

Automatic Theorem Proving

英[ˌɔ:təˈmætik ˈθi:ərəm ˈpru:viŋ]美[ˌɔtəˈmætɪk ˈθiərəm ˈpruvɪŋ]

[计]

Automatic Theorem Proving 例句

英汉例句

  • Universal Algorithm of Automatic Theorem Proving in Propositional Logic

    命题逻辑定理证明的一个普遍能行算法

相关热词