逻辑公式的可满足性判定--方法 工具及应用

作者: 张健
出版社: 科学出版社
出版年: 2000-10-01
定价: 18.0
ISBN: 9787030083647
目前无人评价

多本比价,批量购买

谁读这本书?

布尔弗兰克
布尔弗兰克
2015年11月23日 想读

tags:CS

> 2人想读

二手市场

订阅关于逻辑公式的可满足性判定--方法 工具及应用的评论:
feed: rss 2.0