اثبات و محاسبات
Proof and Computation
نویسنده: Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1995
تعداد صفحات: 477
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 33 مگابایت