عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96 2017
QA
76
.
9
.
A96
2017
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
electronic
عنوان و نام پديدآور
عنوان اصلي
Automated deduction - CADE-26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
]Cham, Switzerland[
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2017
مشخصات ظاهری
نام خاص و کميت اثر
xi, 582 pages : illustrations )black and white( ; 24 cm
فروست
عنوان فروست
Lecture notes in computer science, 59301
يادداشت کلی
متن يادداشت
Includes bibliographical references and author index
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Leonardo de Moura )ed.(
یادداشتهای مربوط به مسئولیت معنوی اثر
متن يادداشت
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Automatic theorem proving Congresses
عنصر شناسه ای
، Logic, Symbolic and mathematical Congresses
رده بندی کنگره
شماره رده
QA
76
.
9
.
A96
2017
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Moura, Leonardo de ]editor[
شناسه افزوده (تنالگان)
عنصر شناسه اي
International Conference on Automated Deduction )26th : 2017 : Gothenburg, Sweden(
