theorem-prover

　

英 ['θiərəmpr'uːvə] 　　美 ['θiərəmpr'uːvə] 　　

n. 定理證明程序

theorem-prover的相關資料：

臨近單詞

theorem theorematic

以上內容獨家創作，受著作權保護，侵權必究

今日熱詞

相關詞典網站：

牛津高階第八版

美國韋氏詞典

Free Dictionary

維基百科 (自由的百科全書)

目錄

附錄

音標說明

查詞歷史