استنتاج عمومی: یک تئوری واحد برای استدلال خودکار
Generic Inference: A Unifying Theory for Automated Reasoning
نویسنده: Marc Pouly, Juerg Kohlas
ناشر: Wiley
سال انتشار: 2011
تعداد صفحات: 471
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 20 مگابایت