عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
9789048150526
شابک
9789401704373
شماره کتابشناسی ملی
شماره
b408390
عنوان و نام پديدآور
عنوان اصلي
Automated Deduction - A Basis for Applications
نام عام مواد
[Book]
ساير اطلاعات عنواني
Volume III Applications /
نام نخستين پديدآور
edited by Wolfgang Bibel, Peter H. Schmitt.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht :
نام ناشر، پخش کننده و غيره
Imprint: Springer,
تاریخ نشرو بخش و غیره
1998.
فروست
عنوان فروست
Applied Logic Series,
مشخصه جلد
10
شاپا ي ISSN فروست
1386-2790 ;
یادداشتهای مربوط به مندرجات
متن يادداشت
1 Lattice-ordered Groups in Deduction -- 2 Superposition Theorem Proving for Commutative Rings -- 3 How to Augment a Formal System with a Boolean Algebra Component -- 4 Proof Planning: A Practical Approach to Mechanized Reasoning in Mathematics -- 5 Program Synthesis -- 6 Termination Analysis for Functional Programs -- 7 The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV -- 8 Using Automated Theorem Provers in Verification of Protocols -- 9 Theorem Proving in Large Theories -- 10 Analyzing Rule Sets for the Calculation of Banking Fees by a Theorem Prover with Constraints -- 11 Deduction-Based Software Component Retrieval -- 12 Rewrite Based Hardware Verification with ReDuX.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction methods have made their way into many areas of research and product development in computer science. For instance, deduction systems are increasingly used in software and hardware verification to ensure the correctness of computer hardware and computer programs with respect to a given specification. Logic programming, while still falling somewhat short of its expectations, is now widely used, deduc tive databases are well-developed and logic-based description and analysis of hard-and software is commonplace today.
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9789048150526
قطعه
عنوان
Springer eBooks
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Algebra-- Data processing.
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Logic.
موضوع مستند نشده
Philosophy (General).
موضوع مستند نشده
Software engineering.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Bibel, Wolfgang.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Schmitt, Peter H.
نام تنالگان _ (مسئولیت معنوی برابر)
مستند نام تنالگان تاييد نشده
SpringerLink (Online service)
مبدا اصلی
تاريخ عمليات
20190301074500.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
