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

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    Automated Theorem Proving

    AvWolfgang Bibel

    Häftad, Tyska, 1982

    576 kr

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

    Fler format och utgåvor

    E-bok

    602 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.
    Hoppa över listan

    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 155 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 155 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 666 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 011 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 756 kr

    Wolfgang Bibel - Lehren vom Leben, E-bok

    Lehren vom Leben

    Wolfgang Bibel

    E-bok
    2013

    712 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

    487 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

    810 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

    559 kr

    Hoppa över listan

    Du kanske också är intresserad av

    Wolfgang Bibel - Automated Theorem Proving, E-bok

    Automated Theorem Proving

    Wolfgang Bibel

    E-bok
    2013

    602 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

    559 kr

    Wolfgang Bibel - Lehren vom Leben, E-bok

    Lehren vom Leben

    Wolfgang Bibel

    E-bok
    2013

    712 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

    447 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

    609 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 155 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

    810 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 - Automated Theorem Proving, E-bok

    Automated Theorem Proving

    Wolfgang Bibel

    E-bok
    2013

    1 416 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 756 kr