دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
by Hans De Nivelle (eds.)
|
عنوان فارسی: استدلال خودکار با تحلیلی تابلو و روش های مرتبط: 24 کنفرانس بین المللی، تابلو 2015، Wroclaw، لهستان، 21-24 سپتامبر، 2015، مجموعه مقالات |