عنوان
پدید آورنده
موضوع
رده
QA 9.7 .F565 2011
QA
9
.
7
.
F565
2011
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
85868
عنوان و نام پديدآور
عنوان اصلي
Finite and algorithmic model theory
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge
نام ناشر، پخش کننده و غيره
Cambridge University Press
تاریخ نشرو بخش و غیره
2011
مشخصات ظاهری
نام خاص و کميت اثر
xi, 341 p.: ill.
فروست
عنوان فروست
London Mathematical Society lecture note series; 973
يادداشت کلی
متن يادداشت
Includes index
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
edited by Javier Esparza, Christian Michaux, Charles Steinhorn
یادداشتهای مربوط به مندرجات
متن يادداشت
Machine generated contents note: Preface Javier Esparza, Christian Michaux and Charles Steinhorn; Automata-based presentations of infinite structures Vince Barany, Erich Gra;del and Sasha Rubin; Logical aspects of spatial databases Bart Kuijpers and Jan Van den Bussche; Some connections between finite and infinite model theory Vera Koponen; Algorithmic meta-theorems Stephan Kreutzer; Definability in classes of finite structures H. Dugald Macpherson and Charles Steinhorn; Model theoretic methods for fragments of FO and special classes of )finite( structures Martin Otto
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Finite model theory
عنصر شناسه ای
Mathematics ، Computer science
رده بندی ديویی
شماره
511
.
3/4
رده بندی کنگره
شماره رده
QA
9
.
7
.
F565
2011
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU reivaJ ,azrapsE ed
عنصر شناسه اي
AU naitsirhC ,xuahciM ed
عنصر شناسه اي
AU selrahC ,nrohnietS ed
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
ی‌اض‌ه ری‌ه دانشکد‌ان‌ابخ‌کت
