theoremproving
[计] 定理证明
热门查询
- pomme n. （法）苹果
- pancreatic adj. 胰的；胰腺的
- philosophical adj. 哲学的（等于philosophic）；冷静的
- prurient n. 好色之徒 adj. 好色的；淫乱的；渴望的
- exclusion n. 排除；排斥；驱逐；被排除在外的事物
- spatula n. （调和、涂抹用）抹刀，小铲；[医] 压舌板
- adverbial n. 状语 adj. 状语的；副词的
- domestic n. 国货；佣人 adj. 国内的；家庭的；驯养的；一心只管家务的
- deathly adj. 死一般的；致命的 adv. 死了一样地；非常
- outmatch vt. 胜过；优于；凌驾于
- leveraging n. 杠杆作用；举债经营 v. 利用贷款进行投机（leverage的ing形式）
- ethological adj. 行为性的，行为学的
- hectoring vi. 威吓；愚弄 n. 虚张声势的人；威吓者；恃强凌弱的人 vt. 威吓；欺凌
- grimacing n. 扮鬼脸 v. 扮鬼脸（grimace的ing形式）
- tqm abbr. 全面质量管理total quality management
- acolyte n. 侍僧；助手（指教士的）
- sulphide n. 硫化物
- late-night adj. 深夜的；午夜的
- loyally adv. 忠诚地；诚实地
- okra n. 秋葵荚，秋葵
考试词汇表
- multi-mirror configuration
- multi-mirror telescope,MMT
- multi-national corporation
- multi-object spec-trograph
- multi-operation capability
- multi-operator welding set
- multi-phase interferometer
- multi-point mooring system
- multi-primary brain tumors
- multi-principle transducer
- multi-purpose core shooter
- multi-purpose extinguisher
- multi-purpose machine tool
- multi-purpose mini machine
- multi-purpose oscilloscope
- multi-purpose pipeline pig
- multi-purpose tobacco pipe
- multi-purpose wheel loader
- multi-reel unlabelled file
- multi-rope friction winder
