📖 书目详情
基于矛盾体分离演绎的一阶逻辑自动定理证明器
| 著者 | 曹锋，林玲瑜著 |
| ISBN | 9787524003267 |
| 中图分类 | TP301.6 自动化技术、计算机技术 |
| 学科分类 | 工学 |
| 版次 | 第1版 |
| 出版社 | 冶金工业出版社 |
| 丛书名 | — |
| 出版年 | 2024.12 |
| 页码 | 127页 |
| 价格 | ¥85.00 |
| 可推荐册数 | 请登录后查看 |
| 核心评分 |
9.7/10
|
📝 内容简介
本书重点介绍了基于矛盾体分离理论的一阶逻辑自动定理证明器的各个组成部分、系统构建、演绎过程验证和实验评估，设计实现了基于矛盾体分离演绎的一阶逻辑自动定理证明器、基于矛盾体分离演绎的一阶逻辑自动定理证明融合系统、基于矛盾体分离演绎的一阶逻辑自动定理证明验证检查工具，涵盖了用于一阶逻辑自动定理证明的整个体系。
🏛️ 本馆馆藏信息
本馆暂无该书的馆藏记录，可在线借购