可满足性测试理论及其应用 - SAT 2006 第9届国际会议/会议录Theory and applications of satisfiability testing

作者: Biere, Armin; Gomes, Carla P.;
副标题: 9thInternationalConference.Seattle.WA.USA.August12-15.2006.Proceedings.--(Lectu
出版年: 2006-12
页数: 438
定价: 632.80元
ISBN: 9783540372066
目前无人评价

在哪儿借这本书?

> 图书馆合作 找不到你需要的图书馆?

谁读这本书?

二手市场

订阅关于可满足性测试理论及其应用 - SAT 2006 第9届国际会议/会议录Theory and applications of satisfiability testing的评论:
feed: rss 2.0