基于格值逻辑的语义归结自动推理
删除本页内容丛书:贵州民族大学学术文库
作者:张家锋著
ISBN:1978-7-5643-5735-12
关键词:人工智能-研究
页数:175
出版社: 成都：西南交通大学出版社
出版日期:2017.11
本书2025年9月9日可阅读或下载
获取百万图书地址方式一：复制链接到微信、QQ群，24小时内有50人访问即可显示
,当前已有0人访问
登录查看百万图书电子书免费阅读或下载地址(每日更新) 10.3.34.114, 216.73.216.15
《基于格值逻辑的语义归结自动推理》的内容分为6章。第1、2章介绍了基于格值逻辑的归结自动推理研究概况和格值逻辑系统的初步知识；第3章介绍了格值逻辑系统中广义文字的归结性；第4章介绍了格值逻辑系统的语义归结自动推理；第5章介绍了格值逻辑系统的广义语义归结自动推理；第6章介绍了格值逻辑系统中归结方法的相容性。《基于格值逻辑的语义归结自动推理》适合于计算机科学和人工智能的有关从业人员阅读，也可供高等院校计算机软件与理论等专业的高年级本科生和研究生参考。
人工智能-研究
留言内容
发布留言
用户须知：
1.如果要找《基于格值逻辑的语义归结自动推理》，可以尝试去图书馆。
2.本页面文字和图片内容来自于http://m.5read.com/。
3.封皮图片地址:https://cover.duxiu.com/coverNew/CoverNew.dll?iid=6a6d686c6a69686b6c6d5fa7a898b09aad9eaba69aaba43639373939373739