Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
تاريخ النشر: 27/07/2015
الناشر: Springer
ترجمة: Francisco Botana
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 192
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783319213613