خرید و دانلود نسخه کامل کتاب Computer-aided reasoning: ACL2 case studies

استدلال های کامپیوتری: مطالعات موردی ACL2

Computer-aided reasoning: ACL2 case studies

نویسنده: Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.)

ناشر: Springer US

سال انتشار: 2000

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

زبان: English

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

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