دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings
دانلود کتاب استدلال خودکار: اولین کنفرانس بین المللی مشترک، IJCAR 2001 سینا، ایتالیا، 18-22 ژوئن، 2001 مجموعه مقالات
مشخصات کتاب
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings
ویرایش: [1 ed.] نویسندگان: Neil D. Jones (auth.), Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.) سری: Lecture Notes in Computer Science 2083 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540422544, 9783540422549 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 708 [720] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 Mb
قیمت کتاب (تومان) : 75,000
در صورت تبدیل فایل کتاب Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استدلال خودکار: اولین کنفرانس بین المللی مشترک، IJCAR 2001 سینا، ایتالیا، 18-22 ژوئن، 2001 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Symbolic Interactionism: Perspective and Method
دانلود کتاب Signs and Symptoms of Genetic Conditions: A Handbook
دانلود کتاب Dark Eagles. A History of Top Secret U.S. Aircraft Programs.
