شماره ركورد

22465

شماره مدرك

4380007

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

Ken McMillan

عنوان

Logic for Programming, Artificial Intelligence, and Reasoning

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642452215;9783642452208