نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
درباره پایگاه
ارتباط با ما
تاریخچه
ورود / ثبت نام
عنوان
Logical Methods
پدید آورنده
موضوع
Computer science,Logic design,Mathematics,علوم کامپیوتر,طراحی منطقی,ریاضیات
رده
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
شابک
شابک
:9781461267089
شماره کتابشناسی ملی
شماره
29089
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Logical Methods
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: In Honor of AniI Nerode's Sixtieth Birthday
نام ساير پديدآوران
John N. Crossley ... [et.al], Editors
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
: Springer Science+Business Media
تاریخ نشرو بخش و غیره
, 1993
مشخصات ظاهری
نام خاص و کميت اثر
813p.
ساير جزييات
:ill
فروست
عنوان فروست
Progress in Computer Science and Applied Logic
مشخصه جلد
; V.12
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science
موضوع مستند نشده
Logic design
موضوع مستند نشده
Mathematics
موضوع مستند نشده
علوم کامپیوتر
موضوع مستند نشده
طراحی منطقی
موضوع مستند نشده
ریاضیات
رده بندی کنگره
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Crossley, John N.
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9781461267089.pdf
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
N
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد