دانلود کتاب Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers
by Christoph M. Hoffmann
|
عنوان فارسی: کسر خودکار در هندسه: سوم InternationalWorkshop ، ADG 2000 مقالات زوریخ، سوئیس ، سپتامبر 25-27، 2000 تجدید نظر |