theorem proving machine的意思|示意
美 / ˈθi:ərəm ˈpru:viŋ məˈʃi:n /
英 / ˈθiərəm ˈpruvɪŋ məˈʃin /
定理证明机
theorem proving machine相关短语
1、 Theorem Machine Proving 定理机器证明
2、 machine theorem proving 机器定理证明