归结原理
guī jié yuán lǐ · ㄍㄨㄟ ㄐㄧㄝˊ ㄩㄢˊ ㄌㄧˇ
- 字母
- gui jie yuan li
- 首字母
- gjyl
- 注音符号
- ㄍㄨㄟ ㄐㄧㄝ ㄩㄢ ㄌㄧ
- 注音首符
- ㄍㄐㄩㄌ
Robinson第一定理，即归结原理，在数理逻辑和自动定理证明中（GOFAI涉及的主题），归结（resolution）是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。
拆字
相关
文络智义词库，您的专属汉语词典。海量词条，精准释义，成语、近义词、反义词一键查询。专业友好的界面，让词语学习更高效。
链接
抓书网 短词网 书号查询 星云网 天津天气预报30天是什么意思？ 菩萨蛮 其二是什么意思？ 长沙天气预报30天是什么意思？ 查看宁夏天气-天气预报一周天气 查看宁夏天气 宁夏是什么意思？ 销售总结ppt下载是什么意思？ 描写重阳节旷野凄凉的句子(通用八十二句)是什么意思？ 千山天气预报30天是什么意思？ 查看海南天气-微气候站今日天气 查看海南天气 海南是什么意思？ 6岁男孩子报什么特长班是什么意思？ 兴日家园是什么意思？ 发酸 fā suān是什么意思？ 拨万论千 bō wàn lùn qiān 阅读是什么意思？ 调三钓三是基于调四钓二而来的它主要解决了调四钓二的两个问题。第一饵料比重过小和对是什么意思？ 中华词典是什么意思？ 铁东天气预报30天是什么意思？ 本溪天气预报30天是什么意思？