عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
1586039296
9781586039295
dltt
Handbook of satisfiability /
[Book]
edited by Armin Biere ... [et al.]
Washington, DC ;
IOS Press,
c2009
xiii, 966 p. :
ill. ;
25 cm
Frontiers in artificial intelligence and applications,
v. 185
0922-6389 ;
Includes bibliographical references and indexes
Algebra, Boolean, Congresses
Computer algorithms, Congresses
Decision making, Congresses
Propositional calculus, Congresses
Biere, Armin
20090714010448.0
مطالعه متن کتاب [Book]
Y
