theorem-prover
英
['θiərəmpr'uːvə]
美
['θiərəmpr'uːvə]
n.
定理证明程序
theorem-prover的相关资料:
临近单词
theorem
theorematic
目录
查词历史
英 汉