خرید و دانلود نسخه کامل کتاب Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

استدلال خودکار و ریاضیات: مقاله هایی به یاد ویلیام د. مك كون

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

نویسنده: Larry Wos (auth.), Maria Paola Bonacina, Mark E. Stickel (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2013

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

زبان: English

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

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