منطق های شرطی و ترجیحی: روش های اثبات و اثبات قضیه
Conditional and Preferential Logics: Proof Methods and Theorem Proving
نویسنده: Pozzato G.
ناشر: IOS Press
سال انتشار: 2010
تعداد صفحات: 209
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت