استدلال با برنامه نویسی منطقی
Reasoning with Logic Programming
نویسنده: José Júlio Alferes, Luís Moniz Pereira (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1996
تعداد صفحات: 336 [340]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت