دانلود کتاب Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
| عنوان فارسی | کاهش خودکار در هندسه: 6th Workshop International، ADG 2006، Pontevedra، Spain، August 31 to September 2، 2006. مقالات تجدید نظر شده |
|---|---|
| عنوان اصلی | Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Xiaoyu Chen, Dongming Wang (auth.), Francisco Botana, Tomas Recio (eds.) |
| ISBN | 9783540773559 |
| سال نشر | 2007 |
| زبان | English |
| تعداد صفحات | 223 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد