استنتاج عمومی یک نظریه متحد کننده برای استدلال خودکار
Generic inference. A unifying theory for automated reasoning
نویسنده: Pouly M., Kohlas J
ناشر: Wiley
سال انتشار: 2011
تعداد صفحات: 471
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت