خرید و دانلود نسخه کامل کتاب Automated theorem proving: theory and practice

اثبات قضیه خودکار: نظریه و عمل

Automated theorem proving: theory and practice

نویسنده: Monty Newborn (auth.)

ناشر: Springer-Verlag New York

سال انتشار: 2001

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

زبان: English

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

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