逻辑公式的求解技术

逻辑公式的求解技术

出版年：2014

作者：金继伟

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

逻辑公式可满足性判定中的推理技术研究

作者：黄沛
出版社：中国科学院软件研究所
出版年：2022

带线性可组合归纳谓词和集合数据约束的分离逻辑公式求解

作者：高冲
出版社：中国科学院软件研究所
出版年：2019

不同逻辑中的巴肯公式

作者：孙梅莹
出版年：2014

数字逻辑实验技术

作者：刘明志
ISBN：9787560659756
出版社：西安电子科技大学出版社
出版年：2021

数字电路与逻辑技术

作者：金良玉
ISBN：7504307548
出版社：中国广播电视出版社
出版年：1991

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

作者：张健
ISBN：7030083644
出版社：科学出版社
出版年：2000