theoremproving
[计] 定理证明
热门查询
- dirndl n. 紧身连衣裙；少女装（阿尔卑斯山地农民的）
- looming n. 上现蜃景；庞视；幽影 adj. 隐隐约约的；正在逼近的 v. 逼近；隐约可见（loom的ing形式）
- needlewoman n. 缝纫女工
- rut n. 发情期；惯例；性冲动；凹槽 vt. 挖槽于；在…形成车辙 vi. 发情 n. (Rut)人名；(西、俄、波、捷、瑞典)鲁特
- failed v. 失败，不成功（fail的过去式和过去分词） adj. 已失败的，不成功的
- ligand n. 配合基（向心配合价体）
- loosening n. 松散，放松 v. 使…松开（loosen的ing形式）
- gamble n. 赌博；冒险；打赌 vi. 赌博；孤注一掷；投机；打赌 vt. 赌博；孤注一掷；冒险假设 n. (Gamble)人名；(英)甘布尔；(瑞典)甘布勒
- Maronite n. 马龙派教徒（流行于黎巴嫩的天主教教派）
- funny n. 滑稽人物；笑话，有趣的故事；滑稽连环漫画栏；（英）（比赛用）单人双桨小艇 adj. 有趣的，好笑的，滑稽的；（口）稀奇的，古怪的，奇异的；有病的，不舒服的；狡猾的，欺骗（性）的，可疑的，不光明
- relaxed v. relax的过去式和过去分词 adj. 松懈的，放松的；悠闲的，自在的；不严格的，不拘束的
- interventionist n. 干涉主义者 adj. 干涉主义的
- decision-making n. 决策 adj. 决策的
- outplay vt. 打败；胜过；技术优于…
- splashed 散点
- allocative adj. 配置的
- stinginess n. 吝啬
- blades n. [机] 刀片（blade的复数）；[机] 刀刃；扁叉
- night n. 夜晚，晚上；黑暗，黑夜 adj. 夜晚的，夜间的
- stroma n. 基质；子座
