شماره ركورد

32647

شماره مدرك

4392842

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

Dowek

عنوان

Computation, Proof, Machine

اطلاعات نشر

CUP

سال نشر

2015

شابك

9780521133777;9781139026581