شماره ركورد

45280

شماره مدرك

4393317

نويسنده/تنالگان

Francisco Botana

عنوان

Automated Deduction in Geometry

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319213613;9783319213620