خرید و دانلود نسخه کامل کتاب 8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

هشتمین کنفرانس بین المللی کسر خودکار: آکسفورد ، انگلیس ، 27 ژوئیه تا 1 آگوست 1986 مجموعه مقالات

8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

نویسنده: Peter B. Andrews (auth.), Jörg H. Siekmann (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1986

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

زبان: English

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

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