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

2026-10-16 21:39 浏览次数 38

Automatic Theorem Proving

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

[计]

相关热词