شماره ركورد

54499

شماره مدرك

4393452

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

Hans de Nivelle

عنوان

Automated Reasoning with Analytic Tableaux and Related Methods

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319243122;9783319243115