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

单词	克努特本迪克斯完备化
释义	克努特本迪克斯完备化 Computer 人工智能自动推理释文 Knuth-Bendix completion克努特-本迪克斯完备化
随便看	MRCP M region M-region M-region storm M-regular element M-regular sequence MR-EIT MRF MRFM M. R. Frechet M.-R. Frechet M. R. Fréchet M.-R. Fréchet M.-R. Fréchet (1878—1973) MRG Mr.Guo Qingluo's Suicide Note Mr.Han's Chronicle Mr.Han's Outer Tradition of the Poetry MR head Mr.Hua Wei Mr Hublot Mr.Hulot's Holiday MRI M. Ricci M. Ricci (1552—1610)

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