单词
文章
取名
英语词组短语
quantifier elimination
英美
量词消去
quantifier elimination网络翻译
量词消去
...position) 、亚氏函數分解 (Ashenhurst decomposition) 、函數复合(functional composition)之量词消去(quantifier elimination)技术、布 林关系(Boolean relation)之函式萃取等。 1.
相关单词
- examinern. 考官，主考人；审查人，检查人
- equitationn. 骑马；骑术
- equestriann. 马术；骑手；骑马者 adj. 马的；骑马的；骑术的
- entertainmentsn. 休闲娱乐；娱乐设施（entertainment 的复数）
- emigrationn. 移居外国，迁移出境；移民
- economistn. 经济学家
- ecclesiasticaladj. 教会的；牧师的；神职的
- entrance to……的入口
- quasi-reorganization准改组
- quasi-contract[法] 准契约
- qualitative characteristics质的性状 属性特征
- externalitiesn. 外部性；外部效应
- ex-rights除权
- ex-factory[贸易] 工厂交货
- exemptionn. 免除，豁免；免税，免税额