شماره ركورد

51714

شماره مدرك

4393322

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

Amy P. Felty

عنوان

Automated Deduction - CADE-25

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319214016;9783319214009