دانلود کتاب 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 |
| ناشر | Springer |
| نویسنده | Franz Baader |
| ISBN | 3540405593, 9783540405597 |
| سال نشر | 2003 |
| زبان | English |
| تعداد صفحات | 517 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد