• 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
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

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
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    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
      • Populära bokserier
      • 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 @ 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

      581 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 215 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 215 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 712 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 025 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 775 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

      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

      565 kr

      Hoppa över listan

      Du kanske också är intresserad av

      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

      565 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, 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
      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

      Häftad, 2010

      1 634 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 177 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 775 kr

      Volker Nissen, Wolfgang Bibel - Einführung in Evolutionäre Algorithmen, Häftad

      Einführung in Evolutionäre Algorithmen

      Volker Nissen, Wolfgang Bibel

      Häftad, 1997

      461 kr