归结原理

归结原理的词语属性

归结原理的百科含义

Robinson第一定理，即归结原理，在数理逻辑和自动定理证明中（GOFAI涉及的主题），归结（resolution）是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。

• 帅气的拼图
• 智贤羽士
• 遵义医科大学
• bǐ zǐ粃滓
• 葡萄酒杯
• 萝莉控公路
• 军鸽
• chuō xíng踔行
• shī zhāng施张
• 香滑鸡肉汤
• 擒叔记
• fù qiǎn附遣
• 攀枝花芒果
• 抢你没商量
• 失落的迪拜
• 陆亚非
• 欧风丽苑
• 随园随笔
• 除疣汤
• yù guǎn燠馆
• 孙伟波
• 才子英语
• 真的记不住
• zhuāng dāi装呆
• 帽斑天牛
• 民国四大美男
• 电工手册
• 单色釉
• 芦苇海
• 布票