اثبات و محاسبات: دیجیتالی شدن در ریاضیات، علوم کامپیوتر و فلسفه
Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy
نویسنده: Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg
ناشر: World Scientific Publishing
سال انتشار: 2018
تعداد صفحات: 300
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 6 مگابایت