دانلود کتاب Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
by Peter B. Andrews
|
عنوان فارسی: اثبات قضیه با جدول های تحلیلی و روش های مرتبط: پنجمین کارگاه بین المللی، TABLEAUX '96 Terrasini، پالرمو، ایتالیا، 15–17 می، 1996 مجموعه مقالات |