Automath
Au´to`math
| n. | 1. | One who is self-taught. |
| 单词 | automath | |||
| 释义 | AutomathAu´to`math
AUTOMATHAUTOMATH(language, mathematics)["The Mathematical Language AUTOMATH, Its Usage and Some ofits Extensions", N.G. deBruijn, in Symp on AutomaticDemonstration, LNM 125, Springer 1970]. |
|||
| 随便看 |
|
英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。