“归结方法”的概念、定义、翻译、参考文献-科学参考

单词	归结方法
释义	归结方法 Encyclopedia 理学一阶推理释 resolution method归结方法 1965年J.A.鲁滨逊（J.A.Robinson）提出的一阶逻辑中的一个完备的推理方法。
随便看	格拉克一家格拉克曼，M. 格拉克，H. 格拉克，J. 格拉兹科夫，N.I. 格拉兹科沃文化格拉卡尼亚修道院格拉古兄弟改革格拉塞格拉塞·阿拉尼亚，J.P.da 格拉塞主定理格拉塞函数格拉塞变换格拉夫顿格拉夫，M. 格拉姆格拉姆不等式格拉姆定理格拉姆-施密特定理格拉姆-施密特方法格拉姆-施密特正交化格拉姆施密特正交化格拉姆-施密特正交化方法格拉姆施密特正交化方法格拉姆-施密特规范正交化

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