000
01489nam 2200301 450
001
CAL 012025391783
005
20251031162849.0
010
@ a978-7-5240-0326-7@ dCNY85.00
100
@ a20251031d2025 em y0chiy50 ea
101
0
@ achi
102
@ aCN@ b110000
105
@ aak a 000yy
106
@ ar
200
1
@ a基于矛盾体分离演绎的一阶逻辑自动定理证明器@ Aji yu mao dun ti fen li yan yi de yi jie luo ji zi dong ding li zheng ming qi@ d= A first-order logic automated theorem prover based on contradiction separation deduction@ f曹锋, 林玲瑜著@ zeng
210
@ a北京@ c冶金工业出版社@ d2025.09
215
@ aXIII, 177页@ c图@ d24cm
225
2
@ a江西理工大学清江学术文库@ Ajiang xi li gong da xue qing jiang xue shu wen ku
300
@ a融媒体图书
320
@ a有书目 (第164-177页)
330
@ a本书重点介绍了基于矛盾体分离理论的一阶逻辑自动定理证明器的各个组成部分、系统构建、演绎过程验证和实验评估, 设计实现了基于矛盾体分离演绎的一阶逻辑自动定理证明器、基于矛盾体分离演绎的一阶逻辑自动定理证明融合系统、基于矛盾体分离演绎的一阶逻辑自动定理证明验证检查工具, 涵盖了用于一阶逻辑自动定理证明的整个体系。
410
0
@ 12001 @ a江西理工大学清江学术文库
510
1
@ aFirst-order logic automated theorem prover based on contradiction separation deduction@ zeng
606
0
@ a计算机算法@ Aji suan ji suan fa@ x定理证明
690
@ aTP301.6@ v5
701
0
@ a曹锋@ Acao feng@ 4著
701
0
@ a林玲瑜@ Alin ling yu@ 4著
801
0
@ aCN@ b人天书店@ c20251031
905
@ b21528116-18@ dTP301.6@ e109@ f3
基于矛盾体分离演绎的一阶逻辑自动定理证明器= A first-order logic automated theorem prover based on contradiction separation deduction/曹锋, 林玲瑜著.-北京：冶金工业出版社，2025.09 XIII, 177页：图；24cm.-(江西理工大学清江学术文库) 融媒体图书 ISBN 978-7-5240-0326-7：CNY85.00 本书重点介绍了基于矛盾体分离理论的一阶逻辑自动定理证明器的各个组成部分、系统构建、演绎过程验证和实验评估, 设计实现了基于矛盾体分离演绎的一阶逻辑自动定理证明器、基于矛盾体分离演绎的一阶逻辑自动定理证明融合系统、基于矛盾体分离演绎的一阶逻辑自动定理证明验证检查工具, 涵盖了用于一阶逻辑自动定理证明的整个体系。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
1528116
215281166
十四楼书库/
[索取号:TP301.6/109]
在馆
架位导航
2
1528117
215281175
十四楼书库/
[索取号:TP301.6/109]
在馆
架位导航
3
1528118
215281184
十四楼书库/
[索取号:TP301.6/109]
在馆
架位导航
