|
书名：
|
逻辑公式的可满足性判定
|
|
|
作者：
|
张健
著
|
|
出版信息：
|
北京
科学出版社
2000.10
|
|
开本页数：
|
21cm
172页
|
|
丛书名：
|
博士丛书
|
|
单 册：
|
|
|
中图分类：
|
TP18
，
O141
|
|
科图分类：
|
|
|
主题词：
|
数理逻辑
,
人工智能
|
|
电子资源：
|
|
|
ISBN：
|
7-03-008364-4
|
|
000
|
00786oam2 2200265 45
|
|
001
|
012000503956
|
|
005
|
20061124161647.70
|
|
010
|
|
@a7-03-008364-4@b精装@dCNY 18.00
|
|
100
|
|
@a20001225d2000 em y0chiy0120 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa z 000yy
|
|
200
|
1
|
@a逻辑公式的可满足性判定@ALuo Ji Gong Shi De Ke Man Zu Xing Pan Ding@e方法、工具及应用@EFang Fa、 Gong Ju Ji Ying Yong@f张健著@FZhang Jian Zhu
|
|
210
|
|
@a北京@c科学出版社@d2000.10
|
|
215
|
|
@a172页@c图@d21cm
|
|
225
|
2
|
@a博士丛书
|
|
320
|
|
@a有参考书目（第157-172页）
|
|
410
|
0
|
@12001 @a博士丛书
|
|
606
|
0
|
@a数理逻辑
|
|
606
|
0
|
@a人工智能
|
|
690
|
|
@aTP18@v4
|
|
690
|
|
@aO141@v4
|
|
701
|
0
|
@a张健@AZhang Jian@4著
|
|
801
|
0
|
@aCN@c20061124
|
|
905
|
|
@a10447@dO141@eZ125
|
|
|
|
|
| |
| 逻辑公式的可满足性判定：方法、工具及应用/张健著.-北京：科学出版社，2000.10 |
| 172页：图；21cm.-(博士丛书) |
| |
| |
| ISBN 7-03-008364-4(精装)：CNY 18.00 |
| |
| ● |
正题名：逻辑公式的可满足性判定
索取号：O141/Z125
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
437546
|
204375461
|
自科库401/401自科库 40排2列5层/
[索取号:O141/Z125]
|
在馆
|
|
|
2
|
437547
|
204375470
|
自科库401/401自科库 40排2列5层/
[索取号:O141/Z125]
|
在馆
|
|
|
3
|
437548
|
204375489
|
自科库401/401自科库 40排2列5层/
[索取号:O141/Z125]
|
在馆
|
|
|
4
|
614135
|
206141352
|
自科库401/401自科库 40排2列5层/
[索取号:O141/Z125]
|
在馆
|
|
|
5
|
614136
|
206141361
|
自科库401/401自科库 40排2列5层/
[索取号:O141/Z125]
|
在馆
|
|
|
6
|
614137
|
206141370
|
自科库401/401自科库 40排2列5层/
[索取号:O141/Z125]
|
在馆
|
|
