خرید و دانلود نسخه کامل کتاب Automated reasoning : essays in honor of Woody Bledsoe

استدلال خودکار: مقالات به افتخار وودی بلدسو

Automated reasoning : essays in honor of Woody Bledsoe

نویسنده: W W Bledsoe; Robert S Boyer (ed.)

ناشر: Kluwer Academic Publishers

سال انتشار: 1991

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

زبان: English

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

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