|
题名:
|
基于矛盾体分离演绎的一阶逻辑自动定理证明器 [ 专著] ji yu mao dun ti fen li yan yi de yi jie luo ji zi dong ding li zheng ming qi / 曹锋，林玲瑜著 , |
|
ISBN:
|
978-7-5240-0326-7 价格： CNY85.00 |
|
语种:
|
chi |
|
载体形态:
|
13,177页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 冶金工业出版社 出版日期： 2025 |
|
内容提要:
|
本书重点介绍了基于矛盾体分离理论的一阶逻辑自动定理证明器的各个组成部分、系统构建、演绎过程验证和实验评估，设计实现了基于矛盾体分离演绎的一阶逻辑自动定理证明器、基于矛盾体分离演绎的一阶逻辑自动定理证明融合系统、基于矛盾体分离演绎的一阶逻辑自动定理证明验证检查工具，涵盖了用于一阶逻辑自动定理证明的整个体系。 |
|
主题词:
|
计算机算法 定理证明 |
|
中图分类法:
|
TP301.6 版次： 5 |
|
主要责任者:
|
曹锋 cao feng 著 |
|
主要责任者:
|
林玲瑜 lin ling yu 著 |
|
附注:
|
融媒体图书 |