منطق محاسباتی
Computational Logic
نویسنده: Ulrich Berger, Helmut Schwichtenberg (eds.)
ناشر: Springer
سال انتشار: 1999
تعداد صفحات: 451
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت
توضیحی برای این کتاب ثبت نشده است.