عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3642224385
شابک
9783642224386
شماره کتابشناسی ملی
شماره
b557745
عنوان و نام پديدآور
عنوان اصلي
Automated Deduction - CADE-23 :
نام عام مواد
[Book]
ساير اطلاعات عنواني
23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
نام نخستين پديدآور
edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg
تاریخ نشرو بخش و غیره
2011
مشخصات ظاهری
نام خاص و کميت اثر
(XIII, 508 p. :).
فروست
عنوان فروست
Lecture notes in computer science, 6803.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocław, Poland, in July/August 2011. The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Logic design.
موضوع مستند نشده
Software engineering.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Nikolaj Bjørner
مستند نام اشخاص تاييد نشده
Viorica Sofronie-Stokkermans
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
