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

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

谁读这本书?

表情
表情
2015年11月23日 想读

tags:CS

> 2人想读

二手市场

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