英文字典中文字典51ZiDian.com
|
AUTOMATH automath 自动数学程式 Automath \Au"to*math\, n. [Gr. ?; ? self ?, ?, to learn.] One who is self-taught. [R.] --Young. [1913 Webster] Automatic proofs, from Eindhoven, Netherlands. ["The Mathematical Language AUTOMATH, Its Usage and Some of its Extensions", N.G. deBruijn, in Symp on Automatic Demonstration, LNM 125, Springer 1970]. (2001-07-09)
请选择你想看的字典辞典:
|
安装中文字典英文字典查询工具!
英文字典中文字典相关资料:
|
中文字典-英文字典 2005-2009