شماره ركورد

40206

شماره مدرك

4379345

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

Maria Paola Bonacina

عنوان

Automated Reasoning and Mathematics

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642366758;9783642366741