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

دانلود کتاب Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

49,000 تومان
اثبات قضیه تعاملی و توسعه برنامه: Coq'Art: حساب ساختارهای استقرایی
موضوع اصلی سایبرنتیک: هوش مصنوعی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 497
حجم فایل 3 مگابایت
کد کتاب 3540208542,9783540208549
نوبت چاپ 1
افزودن به سبد خرید
DJVU

دانلود کتاب Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

49,000 تومان
اثبات قضیه تعاملی و توسعه برنامه: Coq'Art: حساب ساختارهای استقرایی
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 497
حجم فایل 2 مگابایت
کد کتاب 9783540208549,3540208542
نوبت چاپ 1
افزودن به سبد خرید