شماره ركورد :
25313
شماره مدرك :
4379844
نويسنده/تنالگان :
Tetsuo Ida
عنوان :
Automated Deduction in Geometry
اطلاعات نشر :
Springer
سال نشر :
2013
شابك :
9783642406720;9783642406713
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=26&DC=25313
