شماره ركورد

39421

شماره مدرك

4379554

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

Maria Paola Bonacina

عنوان

Automated Deduction – CADE-24

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642385742;9783642385735