عنوان
پدید آورنده
موضوع
رده
E-book,
E-book
,
کتابخانه
محل استقرار
شابک
شابک
:9783319190624
شماره کتابشناسی ملی
شماره
16387
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Linking Game-Theoretical Approaches With Constructive Type Theory
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: Dialogical Strategies, CTT Demonstrations and the Axiom of Choice
نام نخستين پديدآور
\ Nicolas Clerbout, Shahid Rahman
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York, NY
نام ناشر، پخش کننده و غيره
: Springer Berlin Heidelberg
تاریخ نشرو بخش و غیره
, 2015.
تاریخ پیش بینی شده انتشار
تاريخ
1507
مشخصات ظاهری
نام خاص و کميت اثر
xix, 99 p.
رده بندی کنگره
شماره رکورد غير از شماره رده بندي
E-book
,
مبدا اصلی
کشور
ایران
تاريخ عمليات
20170727111210.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783319190624.pdf
مشخصه منبع قراردادي
http://www.loc.gov/catdir/enhancements/fy1513/2015939429-d.html
مشخصه منبع قراردادي
http://www.loc.gov/catdir/enhancements/fy1513/2015939429-t.html
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
N
