دانلود کتاب Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966
کتاب Automation of Reasoning: 1: Classical Papers on Computational Logic 1957-1966 نسخه زبان اصلی
دانلود کتاب Automation of Reasoning: 1: Classical Papers on Computational Logic 1957-1966 بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966
نام کتاب : Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966
ویرایش : 1
عنوان ترجمه شده به فارسی : Automation of Reasoning: 1: Classical Papers on Computational Logic 1957-1966
سری : Artificial Intelligence
نویسندگان : Jӧrg Siekmann and Graham Wrightson (eds.)
ناشر : Springer-Verlag
سال نشر : 1983
تعداد صفحات : 552
ISBN (شابک) : 3540120432 , 9783540120438
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 7 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی