خرید و دانلود نسخه کامل کتاب Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

Deduction Automated — CADE-18: هجدهمین کنفرانس بین المللی کپنهاگ ، Deduction اتوماتیک ، دانمارک ، 27 تا 30 ژوئیه ، 2002 مقالات

Automated Deduction—CADE-18: 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

نویسنده: Ian Horrocks (auth.), Andrei Voronkov (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2002

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

زبان: English

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

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