شماره ركورد :
25051
شماره مدرك :
4389073
نويسنده/تنالگان :
Ludovic Chamoin
عنوان :
Verifying Calculations - Forty Years On
اطلاعات نشر :
Springer
سال نشر :
2016
شابك :
9783319205526;9783319205533
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=26&DC=25051
