bendix

This paper discusses and summarizes the implemental techniques of inductive reasoning based on rewriting with Knuth-Bendix completion procedure and consistent decision.

本文采用Knuth-Bendix（KB）完备化和一致性判别这两种方法，讨论和总结重写归纳推理的实现技术。

互联网摘选

Jimmy Doolittle won three of the most important races, the Schneider Marine Cup, the Bendix Trophy race and the Thompson Trophy race.

吉米赢得了三次最重要的比赛，施耐德杯，邦迪科斯大奖赛和汤普森大奖赛。

互联网摘选

They took her resignation from Bendix as confirmation of their suspicions.

他们认为她从本迪克斯公司辞职证实了他们的怀疑。

《柯林斯高阶英汉双解学习词典》

Structure and Trouble Diagnosis of BENDIX ABS on CHRYSLER

克莱斯勒BENDIX型ABS结构与故障诊断

互联网摘选

And so we got the board together, we bought a majority of Bendix's stocks so that we own each other.

所以我们召集了董事会，购买了Bendix大部分的股票，这样我们购买了对方。

互联网摘选

Bendix Corporation was taken over by Allied Corporation in 1982.

本迪克斯公司在1982年被联盟公司收购.

互联网摘选