دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 7th International Conference on Automated Deduction: Napa, California, USA May 14–16, 1984 Proceedings
دانلود کتاب هفتمین کنفرانس بین المللی کسر خودکار: ناپا، کالیفرنیا، ایالات متحده آمریکا 14 تا 16 مه 1984 مجموعه مقالات
مشخصات کتاب
7th International Conference on Automated Deduction: Napa, California, USA May 14–16, 1984 Proceedings
ویرایش: [1 ed.] نویسندگان: Jörg H. Siekmann (auth.), R. E. Shostak (eds.) سری: Lecture Notes in Computer Science 170 ISBN (شابک) : 0387960228, 9780387960227 ناشر: Springer-Verlag New York سال نشر: 1984 تعداد صفحات: 509 [516] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 24 Mb
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب 7th International Conference on Automated Deduction: Napa, California, USA May 14–16, 1984 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب هفتمین کنفرانس بین المللی کسر خودکار: ناپا، کالیفرنیا، ایالات متحده آمریکا 14 تا 16 مه 1984 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Popular Science (July 2004)
دانلود کتاب Нясвіжскага краю напеў векавы: Народная духоўная культура Нясвіжчыны
دانلود کتاب Os médicos no Brasil: um retrato da realidade
دانلود کتاب Sad Isn't Bad: A Good-Grief Guidebook for Kids Dealing with Loss
