书目检索

简单检索 多字段检索 组合检索 书目详细信息

用户登录

书目信息 机读格式(MARC)

《逻辑公式的可满足性判定:方法、工具及应用》

逻辑公式的可满足性判定:方法、工具及应用

ISBN/价格:7-03-008364-4:CNY18.00
作品语种:chi
题名责任者项:逻辑公式的可满足性判定/.张健著
出版发行项:北京:,科学出版社:,2000.10
载体形态项:172页:;+21cm
丛编项:博士丛书
提要文摘:本书前三章主要介绍经典的例题逻辑和一阶谓词逻辑公式以及模态逻辑公式的可满足性判定算法,也介绍了有关的软件工具。第四章则介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用。
题名主题:人工智能
中图分类:O141
个人名称等同:张健 著
记录来源:CN ZMDSZLIB 20020101
总体评分: (共0人)
我的评分:
共12人预约本书
收藏

馆藏 附件 资源二维码 评论 相关借阅 借阅趋势

评论共 条 ,请登录后发表评论

用户评论