خرید و دانلود نسخه کامل کتاب Resolution proof systems: an algebraic theory

سیستم های اثبات وضوح: یک نظریه جبری

Resolution proof systems: an algebraic theory

نویسنده: Zbigniew Stachniak (auth.)

ناشر: Springer Netherlands

سال انتشار: 1996

تعداد صفحات: 215

زبان: English

فرمت: djvu - قابل تبدیل به سایر فرمت ها

حجم فایل: 2 مگابایت