tableaux99

استدلال خودکار با جدول های تحلیلی و روش های مرتبط: کنفرانس بین المللی، TABLEAUX’99 Saratoga Springs، نیویورک، ایالات متحده آمریکا، 7-11 ژوئن، 1999 مجموعه مقالات

دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings (به فارسی: استدلال خودکار با جدول های تحلیلی و روش های مرتبط: کنفرانس بین المللی، TABLEAUX’99 Saratoga Springs، نیویورک، ایالات متحده آمریکا، 7-11 ژوئن، 1999 مجموعه مقالات) نوشته شده توسط «Randal E. Bryant – Steven German – Miroslav N. Velev (auth.) – Neil V. Murray (eds.)» اطلاعات کتاب استدلال خودکار با جدول های تحلیلی و روش های مرتبط: کنفرانس بین المللی، TABLEAUX’99 Saratoga Springs، نیویورک، ایالات متحده آمریکا، 7-11 ژوئن، 1999 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی…