tableaux98

استدلال خودکار با جدول‌های تحلیلی و روش‌های مرتبط: کنفرانس بین‌المللی، TABLEAUX’98 Oisterwijk، هلند، 5 تا 8 مه، 1998 مجموعه مقالات

دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings (به فارسی: استدلال خودکار با جدول‌های تحلیلی و روش‌های مرتبط: کنفرانس بین‌المللی، TABLEAUX’98 Oisterwijk، هلند، 5 تا 8 مه، 1998 مجموعه مقالات) نوشته شده توسط «N. G. de Bruijn (auth.) – Harrie de Swart (eds.)» اطلاعات کتاب استدلال خودکار با جدول‌های تحلیلی و روش‌های مرتبط: کنفرانس بین‌المللی، TABLEAUX’98 Oisterwijk، هلند، 5 تا 8 مه، 1998 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer Berlin Heidelberg نویسنده: N. G. de Bruijn (auth.) – Harrie de Swart (eds.) زبان: English…