دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings
by Matthias Baaz (auth.)
|
عنوان فارسی: استدلال خودکار با تحلیلی تابلو و روش های مرتبط: کنفرانس بین المللی، تابلو 2002 کپنهاگ، دانمارک، 30 جولای - 1 اوت 2002 مجموعه مقالات |