归结原理的网络释义
Robinson第一定理，即归结原理，在数理逻辑和自动定理证明中（GOFAI涉及的主题），归结（resolution）是对于命题逻辑和一阶逻辑中的句子的推理规则，它导致了一种反证法的定理证明技术。
繁体字转换器为您提供归结原理繁体，归结原理的老写，归结原理的繁体，归结原理的繁体字如何写，归结原理的繁体字，归结原理的繁体字转换对照，归结原理的简繁体互转，归结原理的繁体字怎么写，归结原理繁体字，归结原理繁体笔画，归结原理的简繁体字怎么写，归结原理简体繁体转换，怎么写归结原理的繁体字，归结原理的繁体怎么写等归结原理繁体字在线查询。