یک منطق محاسباتی
A Computational Logic
نویسنده: Robert S. Boyer, J Strother Moore and Thomas A. Standish (Auth.)
ناشر: Elsevier Inc, Academic Press Inc
سال انتشار: 1979
تعداد صفحات: 405
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 19 مگابایت