| 单词 | machine-assisted |
| 释义 | > as lemmasmachine-assisted machine-assisted adj. ΚΠ 1970 Computers & Humanities 5 4 Sheer drudgery threatened to overwhelm them unless they used machine-assisted information handling. 1991 Theoret. Computer Sci. 89 107 A number of formulations of intuitionistic type theory have been considered as a basis for studying machine-assisted formal proof development. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。