دانلود کتاب Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
by Michael Beeson (auth.)
|
عنوان فارسی: کسر خودکار در هندسه: کارگاه آموزشی بین المللی 9، ADG 2012، ادینبورگ، بریتانیا، 17-19 سپتامبر، 2012. تجدید نظر مقالات انتخاب شده |