خرید و دانلود نسخه کامل کتاب Handbook of automated reasoning Vol. 1 [...]

کتاب استدلال خودکار جلد. 1 [...]

Handbook of automated reasoning Vol. 1 [...]

نویسنده: Robinson A., Voronkov A. (eds.)

ناشر: Amsterdam [u.a] Elsevier [u.a.]

سال انتشار: 2001

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

زبان: English

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

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