خرید و دانلود نسخه کامل کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

استدلال خودکار با مقیاس تحلیلی و روش های مرتبط: کنفرانس بین المللی، TABLEAUX 2000، سنت اندروز، اسکاتلند، انگلستان، 3-7 ژوئیه، 2000 پرونده

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

نویسنده: Franz Baader, Ulrike Sattler (auth.), Roy Dyckhoff (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2000

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

زبان: English

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

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