您好、欢迎来到现金彩票网!
当前位置:刘伯温四肖中特料 > 推理子句 >

谓词逻辑描述下的归结推理方法

发布时间:2019-07-25 04:27 来源:未知 编辑:admin

  23-403+54$%%363 (89周口师范学院 数学系;!9 周口师范学院 计算机科学系,河南 周口 谓词逻辑下的归结推理方法要比命题逻辑下的推理复杂得多&文章主要论述在一阶谓词逻辑描述 下,归结推理的方法和步骤,以及其中主要的定理和定义,最后通过具体例子来说明方法的使用& 关键词:

  谓词逻辑描述下的归结推理方法推理,方法,归结,谓词逻辑的,推理方法,推理法,谓词逻辑,归结推理

http://mojdzwonek.com/tuiliziju/419.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有