دانلود کتاب Handbook of the history of logic. Vol. 09. Computational logic

توضیحاتی در مورد کتاب Handbook of the history of logic. Vol. 09. Computational logic

نام کتاب : Handbook of the history of logic. Vol. 09. Computational logic
ویرایش : 1
عنوان ترجمه شده به فارسی : کتابچه راهنمای تاریخ منطق. جلد 09. منطق محاسباتی
سری : Handbook of the History of Logic 9
نویسندگان : Gabbay. Dov M., Siekmann. Jörg H., Woods. John Hayden (eds.)
ناشر : North Holland;Elsevier
سال نشر : 2014
تعداد صفحات : 734
ISBN (شابک) : 0444516247 , 3994434955
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت