theorem-proving
[数] 定理证明
热门查询
- ascender n. 上升的人或物；字母的上半（或下半）出头部分
- Corot 柯罗(人名)
- feasibility n. 可行性；可能性
- tog n. 衣服 vt. 给……穿上
- brassy n. 铜头高尔夫球棍 adj. 刺耳的；厚脸皮的；似黄铜的
- jobcentre （政府的）就业服务中心, 职业介绍所
- auteurist n. （法）导演主创论者 adj. 导演主创论的
- induct vt. 引导；感应；使…就职；征召入伍
- Bantu n. 班图人，班图语
- biome n. [生态] 生物群系；[生态] 生物群落区
- ngoma n. (Ngoma)人名；(赞、刚(布)、刚(金))恩戈马
- nutritious adj. 有营养的，滋养的
- Mersey n. 默西河（英格兰河流名）
- bilious adj. 胆汁的；坏脾气的
- concede vi. 让步 vt. 承认；退让；给予，容许
- shutdown n. 关机；停工；关门；停播
- authorizing 授权
- mailing n. 邮寄；邮件；（苏格兰）农场租金 adj. 邮递的 v. 邮寄；给…装甲（mail的ing形式） n. (Mailing)人名；(捷)迈林
- shoveled n. 铁铲；一铲的量；铲车 vt. 铲除；用铲挖；把…胡乱塞入 vi. 铲
- suburbanite n. 郊区居民
考试词汇表
- logarithmic scales of pressure
- logging suite, logging program
- logic circuit using parametron
- logic cmos integrated circuits
- logical arithmetical operation
- logical deduction by reasoning
- logical file code of resources
- logical input/output operation
- logical management of database
- logical page identifier (LPID)
- logical record access approach
- logical semantic term relation
- logistic evaluation and review
- lonchura atricapilla formosana
- london inter bank offered rate
- long acting thyroid stimulator
- long and short addendum system
- long circulating nanoparticles
- long distance (telephone) line
- long distance on line facility
