خرید و دانلود نسخه کامل کتاب Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

کسر خودکار، CADE-19: 19th International Conference on deduction خودکار، میامی بیچ، فلوریدا، ایالات متحده آمریکا، 28 ژوئیه تا 2 آگوست 2003: پرونده

Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

نویسنده: Franz Baader

ناشر: Springer

سال انتشار: 2003

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

زبان: English

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

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