?automath

automath 中文意思翻譯

automath 短語(yǔ)詞組

1、automath online calculator ─── 自動(dòng)在線計(jì)算器

2、automath nat ─── 自動(dòng)nat

3、automath def ─── 自動(dòng)定義

4、automath definition ─── 自動(dòng)機(jī)定義

5、automath proof ─── 自動(dòng)機(jī)證明

6、automath proof assistant ─── 自動(dòng)校對(duì)助手

automath 相似詞語(yǔ)短語(yǔ)

1、automats ─── n.自動(dòng)售貨機(jī)；[自]自動(dòng)機(jī)；自動(dòng)販賣(mài)式餐館

2、automaton ─── n.自動(dòng)機(jī)；機(jī)器人；自動(dòng)機(jī)器

3、automat ─── n.自動(dòng)售貨機(jī)；[自]自動(dòng)機(jī)；自動(dòng)販賣(mài)式餐館

4、automated ─── adj.自動(dòng)化的；機(jī)械化的；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ú)意識(shí)的；必然的；n.自動(dòng)機(jī)械；自動(dòng)手槍

7、automates ─── vt.使自動(dòng)化，使自動(dòng)操作；vi.自動(dòng)化，自動(dòng)操作

8、automan ─── n.汽車(chē)制造商（automaker）；自動(dòng)兼手控轉(zhuǎn)換開(kāi)關(guān)

9、automata ─── n.不動(dòng)腦筋機(jī)械行事的人；自動(dòng)裝置；小機(jī)器人（automaton的復(fù)數(shù)）