خرید و دانلود نسخه کامل کتاب Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

استدلال خودکار: چهارمین کنفرانس مشترک بین المللی ، IJCAR 2008 سیدنی ، استرالیا ، مجموعه مقالات 12 تا 15 آگوست 2008

Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

نویسنده: Aarti Gupta (auth.), Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2008

تعداد صفحات: 556 [567]

زبان: English

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

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