خرید و دانلود نسخه کامل کتاب Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

کاهش خودکار - CADE-20: 20th International Conference on Automation deduction، Tallinn، Estonia، July 22-27، 2005. Proceedings

Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

نویسنده: Gilles Dowek (auth.), Robert Nieuwenhuis (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2005

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

زبان: English

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

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