دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings
by Randal E. Bryant
|
عنوان فارسی: استدلال خودکار با تابلوهای تحلیلی و روش های مرتبط: کنفرانس بین المللی ، TABLEAUX’99 Saratoga Springs ، نیویورک ، ایالات متحده آمریکا ، مقالات 7 تا 11 ژوئن 1999 |