خرید و دانلود نسخه کامل کتاب Automated Theory Formation in Pure Mathematics

تشکیل نظریه خودکار در ریاضیات محض

Automated Theory Formation in Pure Mathematics

نویسنده: Simon Colton BSc, MSc, PhD (auth.)

ناشر: Springer-Verlag London

سال انتشار: 2002

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

زبان: English

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

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