automatic theorem proving的意思|示意
美 / ˌɔ:təˈmætik ˈθi:ərəm ˈpru:viŋ /
英 / ˌɔtəˈmætɪk ˈθiərəm ˈpruvɪŋ /
机械证明定理
automatic theorem proving相关短语
1、 automatic theorem proving research 自动定理证明研究