روش های حل مسئله برای تصمیم گیری
Resolution Methods for the Decision Problem
نویسنده: C. Fermüller, A. Leitsch, T. Tammet, N. Zamov (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1993
تعداد صفحات: 236 [213]
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 1 مگابایت