- 双语例句 更多例句
本文采用Knuth-Bendix(KB)完备化和一致性判别这两种方法,讨论和总结重写归纳推理的实现技术。
互联网摘选
They took her resignation from Bendix as confirmation of their suspicions.
他们认为她从本迪克斯公司辞职证实了他们的怀疑。
《柯林斯高阶英汉双解学习词典》
And so we got the board together, we bought a majority of Bendix's stocks so that we own each other.
所以我们召集了董事会,购买了Bendix大部分的股票,这样我们购买了对方。
互联网摘选
- 今日热词
- 热门搜索
- adam n.亚当(<圣经>中的第一个男人,相传为人类始祖); 【男子名】【英格兰人姓氏】亚当来源于希伯来语人名,含义是据说为“男人,土,红土”(man,earth,red earth) 昵称Edie,Yiddie
- bottle n.瓶子;一瓶(的量);(婴儿)奶瓶;酒;vt.把…装入瓶中;控制;
- baw v.y弯腰;俯首:;脱离;退出:网络体声波(bulk acoustic wave);体波;北京汽车制造厂(Beijing Automobile Works)
- fff abbr.fat;forty;forte fortissimo (Italian=very, very loud) (意大利语)声音很大的;fortississimo (Italian=as strong as possible) (意大利语)尽可能强有力的;
- perspective-taking 观点采择;
- database n.数据库,资料库;
- calculate v.计算;估算;估计;预料;
- tissue n.(动植物的)组织;薄纸;面巾纸;
- war n.战争;战争期间;斗争;论战;
- hunger n.饥饿感;饥饿;渴望;v.渴望;
- directory n.人名地址录,(电话)号码簿;(计算机文件或程序的)目录;
- alley n.胡同,小巷;小径;球道;

