خرید و دانلود نسخه کامل کتاب Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

استدلال خودکار: سومین کنفرانس مشترک بین المللی، IJCAR 2006، سیاتل، WA، ایالات متحده آمریکا، 17-20 اوت 2006. مجموعه مقالات

Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

نویسنده: Bruno Buchberger (auth.), Ulrich Furbach, Natarajan Shankar (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2006

تعداد صفحات: 688 [692]

زبان: English

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

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