دانلود کتاب Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
by Nikolaj Bjørner (auth.)
|
عنوان فارسی: استدلال خودکار: کنفرانس 6 مشترک بین المللی، IJCAR 2012، منچستر، بریتانیا، 26-29 ژوئن، 2012. مجموعه مقالات |