عنوان
پدید آورنده
موضوع
رده
QA 279.4 .K76D4 2016
QA
279
.
4
.
K76D4
2016
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Decision procedures : an algorithmic point of view
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
c2016
مشخصات ظاهری
نام خاص و کميت اثر
xxi, 356 p.: ill. )some col.( + 1 computer file: PDF
فروست
ساير اطلاعات عنواني
Texts in theoretical computer science, an EATCS series
يادداشت کلی
متن يادداشت
Also available at IPM digital library: https://libraryportal.ipm.ac.ir
متن يادداشت
Bibliography: p.]329[-346
متن يادداشت
ISBN: 9783662504963
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Daniel Kroening, Ofer Strichman
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Mathematical models ، Decision making
عنصر شناسه ای
، Algorithms
عنصر شناسه ای
، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
279
.
4
.
K76D4
2016
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Kroening, Daniel
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Strichman, Ofer
عنصر شناسه اي
SE EATCS monographs on theoretical computer science
