اثبات قضیه با اعداد واقعی
Theorem Proving with the Real Numbers
نویسنده: John Harrison PhD, MA (auth.)
ناشر: Springer-Verlag London
سال انتشار: 1998
تعداد صفحات: 192
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 14 مگابایت
توضیحی برای این کتاب ثبت نشده است.