شماره رکورد
853
پديد آور
Avigad, Jeremy
ساير پديد آوران
Kevin Donnelly, David Gray, Paul Raff
عنوان
a formally verified proof on the prime number theorem
سال نشر
2006
مشخصات ظاهري
24ص.
تاريخ ورود اطلاعات
96/6/4
زبان
انگليسي
شماره راهنما
853ج
لينک به اين مدرک :
http://math.iranlibs.ir/dL/search/default.aspx?Term=853&Field=0&DTC=7
کلیه حقوق این اثر برای شرکت مهندسی ارتباطات پيام مشرق محفوظ می باشد
