Handbook of satisfiability [electronic resource] / edited by Armin Biere ... [et al.]

• 作者： Biere, Armin
• 出版： Amsterdam, The Netherlands;Washington, D : IOS Press c2009
• 叢書名： Frontiers in artificial intelligence and applications,0922-6389 ;v. 185
• 主題： Decision making--Congresses , Algebra, Boolean--Congresses , Computer algorithms--Congresses. , Propositional calculus--Congresses
• ISBN： 9781607503767 (electronic bk.) 、 9781586039295
• URL： 電子書
  
• More
• 一般註：Includes bibliographical references and indexes
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 系統號： 005170948 | 機讀編目格式