خرید و دانلود نسخه کامل کتاب Deduction, Computation, Experiment: Exploring the Effectiveness of Proof

کسر، محاسبه، آزمایش: بررسی اثربخشی اثبات

Deduction, Computation, Experiment: Exploring the Effectiveness of Proof

نویسنده: Rossella Lupacchini (editor), Giovanna Corsi (editor)

ناشر: Springer

سال انتشار: 2008

تعداد صفحات: 285

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 3 مگابایت