mu-calculus
μ算子
热门查询
- watkins n. 沃特金斯(m.)
- unhealthy adj. 不健康的；危险的；有害身心健康的
- exclusively adv. 唯一地；专有地；排外地
- latticework n. 格子；格子细工
- male adj. 男性的；雄性的；有力的 n. 男人；雄性动物 n. (Male)人名；(柬)马尔；(意、西、塞)马莱；(英)梅尔
- nosey adj. 大鼻子的；爱追问的（等于nosy）
- sidewalk n. 人行道
- Ecole n. (Ecole)人名；(法)埃科勒 abbr. 初期教会的在线百科全书（Early Church On-line Encyclopedia）
- prep n. 预备；预习；准备功课 n. (Prep)人名；(俄)普列普 abbr. 准备（preparation）；预备的（preparatory）；前置词（preposition） vt. 使准备好；使（病人）准备接受手术 vi. 上预备学校；作好准备
- velodrome 奥林匹克自行车馆
- cupboard n. 碗柜；食橱
- consequently adv. 因此；结果；所以
- salem n. 塞伦；礼拜堂
- savor n. 滋味；气味；食欲 vt. 尽情享受；使有风味；加调味品于；品尝，欣赏 vi. 有…的滋味；带有…的性质
- Reebok n. 南非短角羚
- interconnected adj. 连通的；有联系的 v. 互相连接（interconnect的过去式）
- captivated v. 迷住；迷惑（captivate的过去式）
- bamboozle vt. 欺骗；使迷惑
- negative adj. [数] 负的；消极的；否定的；阴性的 n. 否定；负数；[摄] 底片 vt. 否定；拒绝
- billowing adj. 如波浪般翻滚的；汹涌的 v. 像巨浪般汹涌；翻腾（billow的ing形式）
