theoremproving
[計] 定理證明
熱門查詢
- adenosine n. 腺苷，腺甘酸
- idyll n. 田園詩；牧歌；田園生活
- ABRAMS [人名] [英格蘭人姓氏] 艾布拉姆斯取自父名，來源于Abram,含義是“艾布拉姆之子”(son of Abram); [地名] [美國] 艾布拉姆斯
- Sumatran n. 蘇門答臘人；蘇門答臘之印尼語 adj. 蘇門答臘島的；蘇門答臘人的
- modernisation n. <主英>=modernization
- constitutive n. 要素 adj. 基本的；本質的；制定的；構成分子的
- UFO abbr. 不明飛行物（Unidentified Flying Object）
- Bartram 巴川姆; 約翰((1699-1777) 美國博物學家; 于1728年在殖民地建立了第一個植物園; 并與歐洲博物學家合作
- spritz n. 噴灑；細的噴流；即興的幽默長篇大論 vi. 噴
- fragrant adj. 芳香的；愉快的
- autumnal adj. 秋天的；已過中年的
- steadfast adj. 堅定的；不變的
- sneer vi. 嘲笑，冷笑 vt. 嘲笑，冷笑 n. 嘲笑，冷笑
- airbrake 空氣制動機，風閘
- believer n. 信徒；相信...者
- VZV abbr. 水痘帶狀皰疹病毒（varicella zoster virus）
- crack n. 裂縫；聲變；噼啪聲 adj. 最好的；高明的 vi. 破裂；爆裂 vt. 使破裂；打開；變聲
- twinned adj. 一胎雙生的；成雙成對的 v. 孿生（twin的過去分詞）
- mown v. 割（mow的過去分詞） adj. 割下的
- misdiagnosed vt. 錯誤地或判斷，斷定 vi. 錯誤地診斷
考試詞匯表
- reintegration water
- reinvents the wheel
- reinvested earnings
- reissner functional
- reiterated sequence
- reiteration control
- rejavenation theory
- reject a suggestion
- reject chip marking
- reject failure rate
- reject tension reel
- rejected production
- rejected-aggressive
- rejection amplifier
- rejection and waste
- rejection frequency
- rejection parameter
- rejection technique
- rejection threshold
- rejective amplifier
