عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540741046
شابک
3540741054 (e-book)
شابک
9783540741046
شابک
9783540741053 (e-book)
شماره کتابشناسی ملی
شماره
dltt
عنوان و نام پديدآور
عنوان اصلي
Decision procedures
نام عام مواد
[Book]
ساير اطلاعات عنواني
an algorithmic point of view /
نام نخستين پديدآور
Daniel Kroening, Ofer Strichman
وضعیت ویراست
وضعيت ويراست
1st ed
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2008
مشخصات ظاهری
نام خاص و کميت اثر
304 p. :
ساير جزييات
ill. ;
ابعاد
24 cm
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به تکثیر
متن يادداشت
Also available in print
قطعه
عنوان
OhioLINK electronic book center (Online)
عنوان
SpringerLink
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Algorithms
موضوع مستند نشده
Decision making-- Mathematical models
موضوع مستند نشده
Propositional calculus
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Kroening, Daniel
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Strichman, Ofer
مبدا اصلی
تاريخ عمليات
20080912111528.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
