formalizedarithmetic
形式化算法
热门查询
- sully vt. 玷污；使丢脸 n. 污点，损伤 n. (Sully)人名；(英)萨利；(法)苏利
- tel abbr. 试验仪器清单（Test Equipment List） n. (Tel)人名；(土)泰尔；(阿拉伯)塔勒
- oxbow n. 牛轭U字形部分；U字形弯曲 adj. 呈U字形弯曲的
- integrated adj. 综合的；完整的；互相协调的 v. 整合；使…成整体（integrate的过去分词）
- fieldstone n. 粗石；散石；大卵石
- coachman n. 马车夫
- bride n. 新娘；姑娘，女朋友 n. (Bride)人名；(英)布赖德；(法)布里德
- shivery adj. 颤抖的；寒冷的；令人毛骨悚然的
- nice adj. 精密的；美好的；细微的；和蔼的 n. (Nice)人名；(英)尼斯
- unmentioned adj. 未提到的；未说起的
- leavening n. 发酵；酵母；引起渐变的因素 v. 发酵；影响；渐变（leaven的ing形式） adj. 发酵的
- BATESON 贝特森，威廉((1861-1926) 英国生物学家，遗传学创始人之一。他以实验证明了孟德尔的遗传原理。并于1900年出版了孟德尔著作最早的英译本)
- ceremonially adv. 礼仪上地，仪式上地
- rip n. 裂口，裂缝 vi. 裂开，被撕裂 vt. 撕；锯 n. (Rip)人名；(塞)里普
- lithely adv. 柔软地；易变地
- downsized vt. 以较小尺寸设计；缩小尺寸；裁减人数
- mandamus n. 命令书；书面训令 vt. 发训令（过去式mandamused，过去分词mandamused，现在分词mandamusing，第三人称单数mandamuses）
- subsist vi. 存在；维持生活 vt. 供养
- mulled adj. 加糖的，香料热饮的 v. 仔细考虑；加糖和香料并烫热；使…糊涂（mull的过去分词）
- abasement n. 身分低微；屈尊；降低
