نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Finite model theory
پدید آورنده
موضوع
Model theory
رده
511
.
34
E15f
1999
کتابخانه
کتابخانه مرکزی و مرکز اسناد دانشگاه اراک
محل استقرار
استان:
مرکزی
ـ شهر:
اراک
تماس با کتابخانه :
08632622404
شابک
شرايط تهيه و بها
821000 R
شابک
3-540-2878787-6
شماره کتابشناسی ملی
کد کشور
IR
شماره
6187
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Finite model theory
نام عام مواد
[Book]
وضعیت ویراست
وضعيت ويراست
2 Ed.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2006.
مشخصات ظاهری
نام خاص و کميت اثر
Xi,360p.
يادداشت کلی
متن يادداشت
Language: انگلیسی
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Bibl.& Index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Model theory
رده بندی ديویی
شماره
511
.
34
نشانه اثر
E15f
1999
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Ebbinghaus,Heinz-Dieter, 1939-
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Flum,Jorg
مبدا اصلی
کشور
ایران
سازمان
دانشگاه اراک
شماره دستیابی
شماره بازیابی
511.34 E15f 1999
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد