دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
دانلود کتاب محاسبات نمادین و استدلال خودکار: سمپوزیوم CALCULEMUS-2000
مشخصات کتاب
Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
ویرایش: 1 نویسندگان: Manfred Kerber (Editor), Michael Kohlhase (Editor) سری: ISBN (شابک) : 9781568811451, 9780429064302 ناشر: A K Peters/CRC Press سال نشر: 2001 تعداد صفحات: 283 زبان: فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 15 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب محاسبات نمادین و استدلال خودکار: سمپوزیوم CALCULEMUS-2000: علوم کامپیوتر، محاسبات، تحلیل عددی محاسباتی
در صورت تبدیل فایل کتاب Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات نمادین و استدلال خودکار: سمپوزیوم CALCULEMUS-2000 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات نمادین و استدلال خودکار: سمپوزیوم CALCULEMUS-2000
در حالی که بسته‌های نرم‌افزاری ریاضی از نظر تجاری موفق هستند و به طور گسترده مورد استفاده قرار می‌گیرند، استفاده از روش‌های رسمی در توسعه سخت‌افزار و نرم‌افزار نیز بیش از پیش مهم و ضروری می‌شود. این امر باعث شده است که سیستم های کسر به دلیل پیچیدگی و اندازه زیاد وظایف استدلالی ضروری باشند. این جلد به
اختصاص داردتوضیحاتی درمورد کتاب به خارجی
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved. This volume is devoted to the
