یک کتابچه منطق محاسباتی
A Computational Logic Handbook
نویسنده: Robert S. Boyer, J. Strother Moore
ناشر: Academic Press
سال انتشار: 1988
تعداد صفحات: 428
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت
توضیحی برای این کتاب ثبت نشده است.