شماره ركورد

50534

شماره مدرك

4371151

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

Gilles Dowek

عنوان

Computation, Proof, Machine - Mathematics Enters a New Age

اطلاعات نشر

Cambridge University Press

سال نشر

2015

شابك

0521133777