دانلود کتاب Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings ویرایش 1
کتاب انگلیسی استدلال خودکار: ششمین کنفرانس بین المللی مشترک، IJCAR 2012، منچستر، بریتانیا، 26-29 ژوئن 2012. مجموعه مقالات ویرایش 1
گزارش