عنوان
پدید آورنده
موضوع
رده
{1648},06fdfb40a6eef9acf992e8ee6bc47b2a
{
1648
},
06fdfb40a6eef9acf992e8ee6bc47b2a
کتابخانه
محل استقرار
شابک
شابک
9783540004
اطلاعات محلی رکورد
نوع مدرک
English Book
عنوان و نام پديدآور
عنوان اصلي
Finite model theory and its applications
نام نخستين پديدآور
Erich Gradel ... [et al.]&
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2007
مشخصات ظاهری
نام خاص و کميت اثر
xi, 437 p. ill
فروست
عنوان فروست
Texts in theoretical computer science
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Finite model theory
عنصر شناسه ای
Computational complexity
عنصر شناسه ای
Constraint databases
