دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Practical Reasoning: Algebraic Approaches
دانلود کتاب استدلال عملی خودکار: رویکردهای جبری
مشخصات کتاب
Automated Practical Reasoning: Algebraic Approaches
ویرایش: [Softcover reprint of the original 1st ed. 1995] نویسندگان: Jochen Pfalzgraf, Dongming Wang (auth.), Dr. Jochen Pfalzgraf, Dr. Dongming Wang (eds.) سری: Texts and Monographs in Symbolic Computation ISBN (شابک) : 9783211826003, 9783709166048 ناشر: Springer Vienna سال نشر: 1995 تعداد صفحات: XI, 223p. 23 illus.. [232] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 28,000
در صورت تبدیل فایل کتاب Automated Practical Reasoning: Algebraic Approaches به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استدلال عملی خودکار: رویکردهای جبری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Combustion of Solid Fuels and Wastes
دانلود کتاب Women and Religion in the African Diaspora: Knowledge, Power, and Performance (Lived Religions)
دانلود کتاب The spirit of Vatican II: a history of Catholic reform in America
دانلود کتاب Cristianismo Y Secularizacion
