عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
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
شاپا ي ISSN فروست
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
