دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
دسته: کامپیوتر
کتاب استدلال خودکار با جدول های تحلیلی و روش های مرتبط: چهاردهمین کنفرانس بین المللی، TABLEAUX 2005، Koblenz، آلمان، 14-17 سپتامبر 2005. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب استدلال خودکار با جدول های تحلیلی و روش های مرتبط: چهاردهمین کنفرانس بین المللی، TABLEAUX 2005، Koblenz، آلمان، 14-17 سپتامبر 2005. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Automated Reasoning with Analytic Tableaux and Related Methods: 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
نام کتاب : Automated Reasoning with Analytic Tableaux and Related Methods: 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : استدلال خودکار با جدول های تحلیلی و روش های مرتبط: چهاردهمین کنفرانس بین المللی، TABLEAUX 2005، Koblenz، آلمان، 14-17 سپتامبر 2005. مجموعه مقالات
سری : Lecture Notes in Computer Science 3702 : Lecture Notes in Artificial Intelligence
نویسندگان : Diego Calvanese (auth.), Bernhard Beckert (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2005
تعداد صفحات : 353
ISBN (شابک) : 3540289313 , 9783540289319
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی