شماره ركورد

42405

شماره مدرك

4399435

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

Martin Davis

عنوان

Logic for Programming, Artificial Intelligence, and Reasoning

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783662488980;9783662488997