خرید و دانلود نسخه کامل کتاب Logic for computer science: foundations of automatic theorem proving

منطق علم کامپیوتر: مبانی اثبات قضیه اتوماتیک

Logic for computer science: foundations of automatic theorem proving

نویسنده: Jean H. Gallier

ناشر: Longman Higher Education

سال انتشار: 1986

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

زبان: English

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

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