عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9789048150526
(Number (ISBN
9789401704373
NATIONAL BIBLIOGRAPHY NUMBER
Number
b408390
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated Deduction - A Basis for Applications
General Material Designation
[Book]
Other Title Information
Volume III Applications /
First Statement of Responsibility
edited by Wolfgang Bibel, Peter H. Schmitt.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht :
Name of Publisher, Distributor, etc.
Imprint: Springer,
Date of Publication, Distribution, etc.
1998.
SERIES
Series Title
Applied Logic Series,
Volume Designation
10
ISSN of Series
1386-2790 ;
CONTENTS NOTE
Text of Note
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
SUMMARY OR ABSTRACT
Text of Note
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.
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9789048150526
PIECE
Title
Springer eBooks
TOPICAL NAME USED AS SUBJECT
Algebra-- Data processing.
Artificial intelligence.
Logic, Symbolic and mathematical.
Logic.
Philosophy (General).
Software engineering.
PERSONAL NAME - PRIMARY RESPONSIBILITY
Bibel, Wolfgang.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Schmitt, Peter H.
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
SpringerLink (Online service)
ORIGINATING SOURCE
Date of Transaction
20190301074500.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
