خرید و دانلود نسخه کامل کتاب Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

کسر خودکار — CADE-12: دوازدهمین کنفرانس بین المللی کسر خودکار نانسی، فرانسه، 26 ژوئن - 1 ژوئیه 1994 مجموعه مقالات

Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

نویسنده: John Slaney (auth.), Alan Bundy (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1994

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

زبان: English

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

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