خرید و دانلود نسخه کامل کتاب Automated Deduction in Equational Logic and Cubic Curves

کسر خودکار در منطق معادله و منحنی مکعب

Automated Deduction in Equational Logic and Cubic Curves

نویسنده: W. McCune, R. Padmanabhan (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1996

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

زبان: English

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

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