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

دانلود کتاب Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

49,000 تومان
استدلال خودکار: اولین کنفرانس بین المللی مشترک، IJCAR 2001 سینا، ایتالیا، 18 تا 22 ژوئن، 2001 مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 708
حجم فایل 7 مگابایت
کد کتاب 3540422544,9783540422549
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC ’97 Vienna, Austria, August 25–29, 1997 Proceedings

49,000 تومان
منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC '97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات
موضوع اصلی ریاضیات محاسباتی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 355
حجم فایل 24 مگابایت
کد کتاب 9783540633853,3540633855
نوبت چاپ 1
افزودن به سبد خرید
DJVU

دانلود کتاب Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC ’97 Vienna, Austria, August 25–29, 1997 Proceedings

49,000 تومان
منطق محاسباتی و نظریه اثبات: پنجمین کنفرانس کورت گودل، KGC '97 وین، اتریش، 25-29 اوت، 1997 مجموعه مقالات
موضوع اصلی ریاضیات محاسباتی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 355
حجم فایل 3 مگابایت
کد کتاب 3540633855,9783540633853
نوبت چاپ 1
افزودن به سبد خرید
DJVU

دانلود کتاب Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC’93 Brno, Czech Republic, August 24–27, 1993 Proceedings

49,000 تومان
منطق محاسباتی و نظریه اثبات: سومین کنفرانس کورت گودل، KGC'93 برنو، جمهوری چک، 24 تا 27 اوت، 1993 مجموعه مقالات
موضوع اصلی ریاضیات محاسباتی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 354
حجم فایل 3 مگابایت
کد کتاب 3540571841,9783540571841
نوبت چاپ 1
افزودن به سبد خرید
DJVU

دانلود کتاب Computer Science Logic: 9th International Workshop, CSL ’95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

49,000 تومان
منطق علوم کامپیوتر: نهمین کارگاه بین المللی، کنفرانس سالانه CSL '95 EACSL Paderborn، آلمان، 22 تا 29 سپتامبر 1995 مقالات برگزیده
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 492
حجم فایل 4 مگابایت
کد کتاب 3540613773,9783540613770
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Methods of Cut-Elimination

49,000 تومان
روش های برش حذف
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer Netherlands
تعداد صفحه 290
حجم فایل 1 مگابایت
کد کتاب 9400703198,9789400703193,9789400703209
نوبت چاپ 1
افزودن به سبد خرید
PDF

دانلود کتاب Methods of Cut-Elimination

49,000 تومان
روش های برش حذف
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer Netherlands
تعداد صفحه 290
حجم فایل 3 مگابایت
کد کتاب 9400703198,9789400703193
نوبت چاپ 1
افزودن به سبد خرید