Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

Fynda 4 pocketböcker till priset av 3 →

Automated Theorem Proving

AvWolfgang Bibel

Häftad, Tyska, 1982

581 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

582 kr

Produktinformation

Utgivningsdatum:1982-01-01
Mått:170 x 244 x 17 mm
Vikt:542 g
Format:Häftad
Språk:Tyska
Antal sidor:292
Upplaga:1982
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783528085209

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

I. Natural and formal logic.- 1. Logic abstracted from natural reasoning.- 2. Logical rules.- II. The connection method in propositional logic.- 1. The language of propositional logic.- 2. The semantics of propositional logic.- 3. A basic syntactic characterization of validity.- 4. The connection calculus.- 5. Consistency, completeness, and confluence.- 6. Algorithmic aspects.- 7. Exercises.- 8. Bibliographical and historical remarks.- III. The connection method in first-order logic.- 1. The language of first-order logic.- 2. The semantics of first-order logic.- 3. A basic syntactic characterization of validity.- 4. Transformation to normal form.- 5. Unification.- 6. The connection calculus.- 7. Algorithmic aspects.- 8. Exercises.- 9. Bibliographical and historical remarks.- IV. Variants and improvements.- 1. Resolution.- 2. Linear resolution and the connection method.- 3. On performance evaluation.- 4. Connection graph resolution and the connection method.- 5. A connection procedure for arbitrary matrices.- 6. Reduction, factorization, and tautological circuits.- 7. Logical calculi of natural deduction.- 8. An alternative for skolemization.- 9. Linear unification.- 10. Splitting by need.- 11. Summary and prospectus.- 12. Exercises.- 13. Bibliographical and historical remarks.- V. Applications and extensions.- 1. Structuring and processing knowledge.- 2. Programming and problem solving.- 3. The connection method with equality.- 4. Rewrite rules and generalized unification.- 5. The connection method with induction.- 6. The connection method in higher-order logic.- 7. Aspects of actual implementations.- 8. Omissions.- 9. Exercises.- 10. Bibliographical and historical remarks.- References.- List of Symbols.

Mer från samma författare

Wolfgang Bibel, P.H. Schmitt - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications, Inbunden

Del 8

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel, P.H. Schmitt

Inbunden, 1998

2 174 kr

Wolfgang Bibel, P.H. Schmitt - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications, Inbunden

Del 9

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel, P.H. Schmitt

Inbunden, 1998

2 174 kr

Wolfgang Bibel, P.H. Schmitt - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications, Inbunden

Del 10

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel, P.H. Schmitt

Inbunden, 1998

1 681 kr

Wolfgang Bibel, P.H. Schmitt - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications, Övrigt

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel, P.H. Schmitt

4 212 kr

Wolfgang Bibel, Klaus P. Jantke - Mathematical Methods of Specification and Synthesis of Software Systems ‘85, Inbunden

Del 31

Mathematical Methods of Specification and Synthesis of Software Systems ‘85

Wolfgang Bibel, Klaus P. Jantke

Inbunden, 1986

2 004 kr

Klaus P. Jantke, Wolfgang Bibel - Mathematical Methods of Specification and Synthesis of Software Systems '85, E-bok

Mathematical Methods of Specification and Synthesis of Software Systems '85

Klaus P. Jantke, Wolfgang Bibel

E-bok

1987

1 699 kr

Wolfgang Bibel - Lehren vom Leben, E-bok

Lehren vom Leben

Wolfgang Bibel

E-bok

2013

687 kr

Torsten Schaub, Steffen Holldobler, Wolfgang Bibel - Wissensrepräsentation und Inferenz, E-bok

Wissensrepräsentation und Inferenz

Torsten Schaub, Steffen Holldobler, Wolfgang Bibel

E-bok

2013

471 kr

Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel - Grundlagen zur Neuroinformatik und Neurobiologie, Häftad

Grundlagen zur Neuroinformatik und Neurobiologie

Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel

Häftad, 2012

818 kr

Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel - Fuzzy-Systems in Computer Science, Häftad

Fuzzy-Systems in Computer Science

Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel

Häftad, 2012

564 kr

Du kanske också är intresserad av

Wolfgang Bibel - Automated Theorem Proving, E-bok

Automated Theorem Proving

Wolfgang Bibel

E-bok

2013

582 kr

Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel - Fuzzy-Systems in Computer Science, Häftad

Fuzzy-Systems in Computer Science

Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel

Häftad, 2012

564 kr

Wolfgang Bibel - Lehren vom Leben, E-bok

Lehren vom Leben

Wolfgang Bibel

E-bok

2013

687 kr

Harald Trost, Robert Trappl, Ingeborg Steinacker, Alfred Kobsa, Werner Horn, Ernst Buchberger, Bruno Buchberger, Wolfgang Bibel, Johannes Retti - Artificial Intelligence — Eine Einführung, E-bok

Artificial Intelligence — Eine Einführung

Harald Trost, Robert Trappl, Ingeborg Steinacker, Alfred Kobsa, Werner Horn, Ernst Buchberger, Bruno Buchberger, Wolfgang Bibel, Johannes Retti

E-bok

2019

433 kr

Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub, Wolfgang Bibel - Wissensrepräsentation und Inferenz, Häftad

Wissensrepräsentation und Inferenz

Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub, Wolfgang Bibel

Häftad, 1993

615 kr

Wolfgang Bibel, P.H. Schmitt - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications, Övrigt

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel, P.H. Schmitt

4 212 kr

Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel - Grundlagen zur Neuroinformatik und Neurobiologie, Häftad

Grundlagen zur Neuroinformatik und Neurobiologie

Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel

Häftad, 2012

818 kr

Wolfgang Bibel, P.H. Schmitt - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications, Häftad

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel, P.H. Schmitt

Häftad, 2010

2 176 kr

Wolfgang Bibel - Automated Theorem Proving, E-bok

Automated Theorem Proving

Wolfgang Bibel

E-bok

2013

1 367 kr

Klaus P. Jantke, Wolfgang Bibel - Mathematical Methods of Specification and Synthesis of Software Systems '85, E-bok

Mathematical Methods of Specification and Synthesis of Software Systems '85

Klaus P. Jantke, Wolfgang Bibel

E-bok

1987

1 699 kr