دانلود کتاب 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings (به فارسی: دهمین کنفرانس بین المللی کسر خودکار: Kaiserslautern، FRG، 24-27 ژوئیه، 1990 مجموعه مقالات) نوشته شده توسط «Robert S. Boyer – J Strother Moore (auth.) – Mark E. Stickel (eds.)»
اطلاعات کتاب دهمین کنفرانس بین المللی کسر خودکار: Kaiserslautern، FRG، 24-27 ژوئیه، 1990 مجموعه مقالات
موضوع اصلی: نرم افزار: CAD
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Robert S. Boyer – J Strother Moore (auth.) – Mark E. Stickel (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1990
تعداد صفحه: 690
حجم کتاب: 6 مگابایت
کد کتاب: 9783540528852 , 3540528857
نوبت چاپ: 1
توضیحات کتاب دهمین کنفرانس بین المللی کسر خودکار: Kaiserslautern، FRG، 24-27 ژوئیه، 1990 مجموعه مقالات
این جلد شامل مقالات ارائه شده در دهمین کنفرانس بین المللی کسر خودکار (CADE-10) است. CADE انجمن اصلی است که در آن تحقیقات در مورد تمام جنبه های کسر خودکار ارائه می شود. اگرچه تحقیقات کسر خودکار نیز در کنفرانسهای عمومیتر هوش مصنوعی ارائه میشود، کنفرانسهای CADE در تمرکز و کیفیت مشارکتهایشان در این موضوع همتا ندارند. مقالات شامل طیف وسیعی از تئوری تا اجرا و آزمایش، از محاسبات گزارهای تا مرتبه بالاتر و منطق غیرکلاسیک بود. آنها روشهای زیادی از جمله تفکیک، پارامدولاسیون، بازنویسی، تکمیل، یکسان سازی و القاء را پالایش و استفاده میکنند. و آنها با برنامه های مختلف از جمله تأیید برنامه، برنامه نویسی منطقی، پایگاه داده های قیاسی و اثبات قضیه در بسیاری از حوزه ها کار می کنند. این جلد همچنین شامل چکیدههایی از 20 پیادهسازی سیستمهای کسر خودکار است. نویسندگان حدود نیمی از مقالات از ایالات متحده، بسیاری از اروپای غربی و بسیاری نیز از سایر نقاط جهان هستند. مجموعه مقالات کنفرانس های 5، 6، 7، 8 و 9 CADE به عنوان جلدهای 87، 138، 170، 230، 310 در مجموعه یادداشت های سخنرانی در علوم کامپیوتر منتشر شده است.
This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. The papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logic programming, deductive databases, and theorem proving in many domains. The volume also contains abstracts of 20 implementations of automated deduction systems. The authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.