راهنمای منطق در هوش مصنوعی و برنامه ریزی منطقی. دوره 2: روش های تخفیف
Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 2: Deduction Methodologies
نویسنده: Gabbay D.M., Hogger C.J., Robinson J.A. (eds.)
ناشر: Clarendon Press
سال انتشار: 1994
تعداد صفحات: 528
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت