نمایش سایدبار
نمایش 12 24 36 همه
PDF

دانلود کتاب Goal-Directed Proof Theory

49,000 تومان
نظریه اثبات هدف محور
نوع کالا کتاب الکترونیکی
تعداد صفحه 273
حجم فایل 1 مگابایت
افزودن به سبد خرید
PDF

دانلود کتاب Handbook of Tableau Methods

49,000 تومان
کتاب راهنمای روش های تابلو
نوع کالا کتاب الکترونیکی
تعداد صفحه 676
حجم فایل 3 مگابایت
نوبت چاپ پیش نویس
افزودن به سبد خرید
PDF

دانلود کتاب Quantification in Nonclassical Logic Draft

49,000 تومان
کمی سازی در پیش نویس منطق غیر کلاسیک
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Elsevier
تعداد صفحه 792
حجم فایل 3 مگابایت
افزودن به سبد خرید