“克努特本迪克斯完备化”的概念、定义、翻译、参考文献-科学参考

单词	克努特本迪克斯完备化
释义	克努特本迪克斯完备化 Computer 人工智能自动推理释文 Knuth-Bendix completion克努特-本迪克斯完备化
随便看	朴次茅斯条约朴正熙朴殷植朴氏传朴永光朴泰远朴素唯物主义朴素场所朴素理论朴素的朴素贝叶斯朴素贝叶斯分类器朴素贝叶斯模型朴素集合论朴花城朴英熙朴茨茅斯朴荣汉朴蒂埃，R. 朴赞郁朴趾源朴钟和朴齐家朴－莱文概率模型朵云

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。