خرید و دانلود نسخه کامل کتاب 7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science)

هفتمین کنفرانس بین المللی کسر خودکار: مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر)

7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science)

نویسنده: R. E. Shostak

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

زبان: English

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

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