作者：张家锋
类别：社科电子书
关键词：基于格值逻辑的语义归结自动推理
整理日期：2018-11-12 10:10:17
下载地址： 本地下载 网友上传
作品导读
《基于格值逻辑的语义归结自动推理》的内容分为6章。第1、2章介绍了基于格值逻辑的归结自动推理研究概况和格值逻辑系统的初步知识；第3章介绍了格值逻辑系统中广义文字的归结性；第4章介绍了格值逻辑系统的语义归结自动推理；第5章介绍了格值逻辑系统的广义语义..
基于格值逻辑的语义归结自动推理的作者是张家锋。本站已与多数网站、公司和作者建立版权共享协议，若您发现您拥有版权的作品未与本站授权，请及时联系我们，我们会立刻处理。