دانلود کتاب Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
by Nicola Olivetti
|
عنوان فارسی: استدلال خودکار: کنفرانس 8 مشترک بین المللی، IJCAR 2016، کویمبرا، پرتغال، 27 ژوئن-ژوئیه 2، 2016، مجموعه مقالات |