دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
کتاب استدلال خودکار با جدول های تحلیلی و روش های مرتبط: بیست و دومین کنفرانس بین المللی، TABLEAUX 2013، نانسی، فرانسه، 16-19 سپتامبر 2013، مجموعه مقالات نسخه زبان اصلی
دانلود کتاب استدلال خودکار با جدول های تحلیلی و روش های مرتبط: بیست و دومین کنفرانس بین المللی، TABLEAUX 2013، نانسی، فرانسه، 16-19 سپتامبر 2013، مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
نام کتاب : Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : استدلال خودکار با جدول های تحلیلی و روش های مرتبط: بیست و دومین کنفرانس بین المللی، TABLEAUX 2013، نانسی، فرانسه، 16-19 سپتامبر 2013، مجموعه مقالات
سری : Lecture Notes in Computer Science 8123
نویسندگان : Clark Barrett, Stéphane Demri, Morgan Deters (auth.), Didier Galmiche, Dominique Larchey-Wendling (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2013
تعداد صفحات : 297
ISBN (شابک) : 9783642405365 , 9783642405372
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی