定理機(jī)器證明
拼音dìng lǐ jī qì zhèng míng
英語(yǔ)翻譯
【計(jì)】 theorem machine prove
分詞翻譯
定理的英語(yǔ)翻譯：
theorem
【化】 theorem
【醫(yī)】 theorem
機(jī)器證明的英語(yǔ)翻譯：
【計(jì)】 mechanical theorem proving
0
糾錯(cuò)
猜你喜歡
萘紅吉爾克氏病基金的補(bǔ)充成色高的黃金未背書(shū)的支票橄欖小腦束抑制劑脫臭法理論電行進(jìn)甲狀腺劑療法上皮內(nèi)置數(shù)組類型標(biāo)識(shí)符悉心照顧葉片高度鄰苯二甲酸二異辛酯鍵盤(pán)鑿孔機(jī)快速雛型粘細(xì)菌科圖象打印機(jī)盲腸后膿腫彌漫性鈣質(zhì)沉著科研工作牧羊場(chǎng)藍(lán)帶蚊屬脫氫反雄甾酮合同引起的損害行市趨高真空風(fēng)擋刮水?dāng)[臂正交系統(tǒng)高羊毛氨酸廿四醇酸按發(fā)票現(xiàn)金付款方式幼體生殖庫(kù)利性貧血不當(dāng)?shù)母蓴_不顯性感染沖味的詆毀名譽(yù)者車前籽加氫設(shè)備靜脈血凝固
英語(yǔ)造句
最新應(yīng)用
