خرید و دانلود نسخه کامل کتاب Automated reasoning and its applications : essays in honor of Larry Wos

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

Automated reasoning and its applications : essays in honor of Larry Wos

نویسنده: Larry Wos; Robert Veroff; Gail W Pieper

ناشر: The MIT Press

سال انتشار: 1997

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

زبان: English

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

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