automath是什么意思，automath中文翻譯，automath怎么讀、發(fā)音、用法及例句
?automath
automath 中文意思翻譯
常見(jiàn)釋義：
自動(dòng)數學(xué)程序.
automath 短語(yǔ)詞組
1、automath online calculator ─── 自動(dòng)在線(xiàn)計算器
2、automath nat ─── 自動(dòng)nat
3、automath def ─── 自動(dòng)定義
4、automath definition ─── 自動(dòng)機定義
5、automath proof ─── 自動(dòng)機證明
6、automath proof assistant ─── 自動(dòng)校對助手
automath 相似詞語(yǔ)短語(yǔ)
1、automats ─── n.自動(dòng)售貨機；[自]自動(dòng)機；自動(dòng)販賣(mài)式餐館
2、automaton ─── n.自動(dòng)機；機器人；自動(dòng)機器
3、automat ─── n.自動(dòng)售貨機；[自]自動(dòng)機；自動(dòng)販賣(mài)式餐館
4、automated ─── adj.自動(dòng)化的；機械化的；v.自動(dòng)化（automate的過(guò)去分詞）；自動(dòng)操作
5、automate ─── vt.使自動(dòng)化，使自動(dòng)操作；vi.自動(dòng)化，自動(dòng)操作
6、automatic ─── adj.自動(dòng)的；無(wú)意識的；必然的；n.自動(dòng)機械；自動(dòng)手槍
7、automates ─── vt.使自動(dòng)化，使自動(dòng)操作；vi.自動(dòng)化，自動(dòng)操作
8、automan ─── n.汽車(chē)制造商（automaker）；自動(dòng)兼手控轉換開(kāi)關(guān)
9、automata ─── n.不動(dòng)腦筋機械行事的人；自動(dòng)裝置；小機器人（automaton的復數）
版權聲明: 本站僅提供信息存儲空間服務(wù)，旨在傳遞更多信息，不擁有所有權，不承擔相關(guān)法律責任，不代表本網(wǎng)贊同其觀(guān)點(diǎn)和對其真實(shí)性負責。如因作品內容、版權和其它問(wèn)題需要同本網(wǎng)聯(lián)系的，請發(fā)送郵件至 舉報，一經(jīng)查實(shí)，本站將立刻刪除。
