دانلود کتاب Logic for Computer Science: Foundations of Automatic Theorem Proving (REVISED ON-LINE VERSION (2003))
by Jean H. Gallier|
|
عنوان فارسی: منطق برای علم کامپیوتر: مبانی قضیه خودکار اثبات (تجدید نظر در خط نسخه (2003)) |


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟