شماره ركورد

56175

شماره مدرك

4383855

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

Stephane Demri

عنوان

Automated Reasoning

اطلاعات نشر

Springer

سال نشر

2014

شابك

9783319085876;9783319085869