نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
A modern perspective on type theory
پدید آورنده
موضوع
Type theory. ;
رده
کتابخانه
كتابخانه مركزی و مركز اسناد دانشگاه مازندران
محل استقرار
استان:
مازندران
ـ شهر:
بابلسر
تماس با کتابخانه :
62
-
35302861
-
011
شماره کتابشناسی ملی
شماره
oldebook26932
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
eng
عنوان و نام پديدآور
عنوان اصلي
A modern perspective on type theory
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht ;Boston :
نام ناشر، پخش کننده و غيره
: Kluwer Academic Publishers,
تاریخ نشرو بخش و غیره
, 2004.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Type theory. ;
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Kamareddine, Fairouz D. ; Laan, Twan. ; Nederpelt, R. P. ; (Rob P.) ;
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد