خرید و دانلود نسخه کامل کتاب Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

استدلال خودکار با جدول های تحلیلی و روش های مرتبط: شانزدهمین کنفرانس بین المللی، TABLEAUX 2007، Aix en Provence، فرانسه، 3-6 ژوئیه، 2007. مجموعه مقالات

Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

نویسنده: Piero A. Bonatti (auth.), Nicola Olivetti (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2007

تعداد صفحات: 250 [255]

زبان: English

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

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