شماره ركورد

26800

شماره مدرك

4383881

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

Gilles Dowek

عنوان

Rewriting and Typed Lambda Calculi

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319089171;9783319089188