خرید و دانلود نسخه کامل کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

استدلال خودکار با جدول تحلیلی و روشهای مرتبط: کنفرانس بین المللی ، Saratoga Springs ، NY TABLEAUX ، NY ، ایالات متحده ، 7-11 ژوئن ، مجموعه مقالات

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

نویسنده: Randal E. Bryant, Steven German, Miroslav N. Velev (auth.), Neil V. Murray (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1999

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

زبان: English

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

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