شماره ركورد

28169

شماره مدرك

4379822

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

Didier Galmiche

عنوان

Automated Reasoning with Analytic Tableaux and Related Methods

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642405365;9783642405372