شماره ركورد

25313

شماره مدرك

4379844

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

Tetsuo Ida

عنوان

Automated Deduction in Geometry

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642406720;9783642406713