可满足性测试理论及其应用 - SAT 2006 第9届国际会议/会议录Theory and applications of satisfiability testing
可满足性测试理论及其应用 - SAT 2006 第9届国际会议/会议录Theory and applications of satisfiability testing
副标题: 9thInternationalConference.Seattle.WA.USA.August12-15.2006.Proceedings.--(Lectu
ISBN: 9783540372066
出版年: 2006-12
页数: 438
定价: 632.80元