دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
کتاب استدلال خودکار با جدول های تحلیلی و روش های مرتبط: بیستمین کنفرانس بین المللی، TABLEAUX 2011، برن، سوئیس، 4-8 ژوئیه، 2011. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب استدلال خودکار با جدول های تحلیلی و روش های مرتبط: بیستمین کنفرانس بین المللی، TABLEAUX 2011، برن، سوئیس، 4-8 ژوئیه، 2011. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
نام کتاب : Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : استدلال خودکار با جدول های تحلیلی و روش های مرتبط: بیستمین کنفرانس بین المللی، TABLEAUX 2011، برن، سوئیس، 4-8 ژوئیه، 2011. مجموعه مقالات
سری : Lecture Notes in Computer Science 6793 Lecture Notes in Artificial Intelligence
نویسندگان : Maria Paola Bonacina, Moa Johansson (auth.), Kai Brünnler, George Metcalfe (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2011
تعداد صفحات : 287
ISBN (شابک) : 9783642221187 , 9783642221194
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی