ctt
پیوند رویکردهای نظری بازی با نظریه نوع سازنده: استراتژی‌های گفتگو، نمایش CTT و اصل انتخاب
دانلود کتاب Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice (به فارسی: پیوند رویکردهای نظری بازی با نظریه نوع سازنده: استراتژی‌های گفتگو، نمایش CTT و اصل انتخاب) نوشته شده توسط «Nicolas Clerbout – Shahid Rahman (auth.)» اطلاعات کتاب پیوند رویکردهای نظری بازی با نظریه نوع سازنده: استراتژی‌های گفتگو، نمایش CTT و اصل انتخاب موضوع اصلی: علوم (عمومی) نوع: کتاب الکترونیکی ناشر: Springer International Publishing نویسنده: Nicolas Clerbout – Shahid Rahman (auth.) زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2015 تعداد صفحه: 116 حجم فایل: 3.26 مگابایت…