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

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

Name: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings
Rating: 4.8 (11 reviews)
Author: Randal E. Bryant, Steven German, Miroslav N. Velev (auth.), Neil V. Murray (eds.)

دانلود کتاب 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

سال: ۱۹۹۹

نسخه ناشر (کیفیت اصلی)

امتیاز کاربران: (۰.۰) :

حجم فایل

۲.۰۶ مگابایت

تعداد صفحات

۳۴۲.۰

قیمت کتاب: ۶۰,۹۰۰ تومان

توضیحات

معرفی کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

کتاب 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.) یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.

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

این اثر با بهره‌گیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار می‌دهد.

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

پرفروشترین کتاب ها