逻辑公式的可满足性判定--方法 工具及应用
张健
科学出版社
9787030083647
2000年10月
¥18.00
¥7.20
¥6.80
0元包邮! 送720积分[详细介绍]购满0.1元免运费! 领券
有路自营缺货
¥39.00
库存2本
21926笔交易
盐城市