خرید و دانلود نسخه کامل کتاب Automated deduction - a basis for applications, vol.1: Foundations - calculi and methods

کسر خودکار - مبنایی برای کاربردها، جلد 1: مبانی - محاسبات و روشها

Automated deduction - a basis for applications, vol.1: Foundations - calculi and methods

نویسنده: Bibel W., Schmitt P.H. (eds.)

ناشر: Kluwer

سال انتشار: 1998

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

زبان: English

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

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