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