دانلود کتاب Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
| عنوان فارسی | کاهش خودکار در هندسه: 9th Workshop International، ADG 2012، ادینبورگ، انگلستان، 17-19 سپتامبر 2012. مقالات منتخب بازبینی شده |
|---|---|
| عنوان اصلی | Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Michael Beeson (auth.), Tetsuo Ida, Jacques Fleuriot (eds.) |
| ISBN | 9783642406713, 9783642406720 |
| سال نشر | 2013 |
| زبان | English |
| تعداد صفحات | 201 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد