theorem-proving
[数] 定理证明
热门查询
- distraught adj. 发狂的；心烦意乱的
- Newcombe n. (Newcombe)人名；(英)纽科姆
- Benelux n. 比荷卢经济联盟（比利时、荷兰、卢森堡）
- evince vt. 表明，表示；引起
- Salford 索尔福德[英国英格兰西北部港市]
- explicitly adv. 明确地；明白地
- sticker n. 尖刀；难题；张贴物；坚持不懈的人 vt. 给…贴上标签价 adj. 汽车价目标签的；汽车标签价的 n. (Sticker)人名；(德)施蒂克
- Kevan [人名] 凯万
- ultrasonic n. 超声波 adj. [声] 超声的；超音速的
- conduction n. [生理] 传导
- nostalgically adv. 怀乡地；恋旧地
- KLM (=kilolumen)千流明
- byrd n. 伯德（姓氏）
- stillness n. 静止；沉静
- Helms n. 舵( helm的名词复数 ); 掌舵; 掌管; 接管 v. 舵( helm的第三人称单数 ); 掌舵; 掌管; 接管
- joan n. 琼（女子名）
- hearst n. 赫斯特（姓氏）
- graphology n. 笔迹学；笔迹相法；图表法
- distractive adj. 分散注意力的；扰乱的
- loan n. 贷款；借款 vi. 借出 vt. 借；借给
考试词汇表
