خرید و دانلود نسخه کامل کتاب Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings
قیمت اصلی 175,000 تومان بود.100,000 تومانقیمت فعلی 100,000 تومان است.
تعداد فروش: 50
| عنوان فارسی |
کسر خودکار — CADE-12: دوازدهمین کنفرانس بین المللی کسر خودکار نانسی، فرانسه، 26 ژوئن – 1 ژوئیه 1994 مجموعه مقالات |
|---|---|
| عنوان اصلی | Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | John Slaney (auth.), Alan Bundy (eds.) |
| ISBN | 3540581561, 9783540581567 |
| سال نشر | 1994 |
| زبان | English |
| تعداد صفحات | 864 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 8 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این جلد شامل مقالات بررسی شده ارائه شده در دوازدهمین کنفرانس بین المللی کسر خودکار (CADE-12) است که در نانسی، فرانسه در ژوئن/ژوئیه 1994 برگزار شد.
67 مقاله ارائه شده از بین 177 مورد ارسالی انتخاب شدند و بسیاری از موارد را مستند می کنند. مهمترین نتایج تحقیق در کسر خودکار از زمان CADE-11 که در ژوئن 1992 برگزار شد. این جلد در فصول مربوط به اکتشافی، سیستم های تفکیک، القاء، کنترل وضوح، مشکلات ATP، یکسان سازی، برنامه های کاربردی LP، اثبات های با هدف خاص، قانون بازنویسی سازماندهی شده است. خاتمه، کارایی ATP، یکسان سازی AC، اثبات قضیه مرتبه بالاتر، سیستم های طبیعی، مجموعه مسائل، و توضیحات سیستم.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.