automath是什么意思,automath中文翻译,automath怎么读、发音、用法及例句

•automath

automath 中文意思翻译

automath 短语词组

1、automath online calculator ─── 自动在线计算器

2、automath nat ─── 自动nat

3、automath def ─── 自动定义

4、automath definition ─── 自动机定义

5、automath proof ─── 自动机证明

6、automath proof assistant ─── 自动校对助手

automath 相似词语短语

1、automats ─── n.自动售货机；[自]自动机；自动贩卖式餐馆

2、automaton ─── n.自动机；机器人；自动机器

3、automat ─── n.自动售货机；[自]自动机；自动贩卖式餐馆

4、automated ─── adj.自动化的；机械化的；v.自动化（automate的过去分词）；自动操作

5、automate ─── vt.使自动化，使自动操作；vi.自动化，自动操作

6、automatic ─── adj.自动的；无意识的；必然的；n.自动机械；自动手枪

7、automates ─── vt.使自动化，使自动操作；vi.自动化，自动操作

8、automan ─── n.汽车制造商（automaker）；自动兼手控转换开关

9、automata ─── n.不动脑筋机械行事的人；自动装置；小机器人（automaton的复数）