دانلود کتاب Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers
by Gábor Bodnár (auth.)
|
عنوان فارسی: کسر خودکار در هندسه: کارگاه آموزشی بین المللی 4 ، ADG 2002 ، قلعه Hagenberg ، اتریش، 4-6 سپتامبر ، 2002. مقالات تجدید نظر |