• 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

      E-bok
      PDF, Tyska, 2013

      602 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

      Fler format och utgåvor

      Häftad

      581 kr

      Produktinformation

      • Utgivningsdatum:2013-03-08
      • Språk:Tyska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783322901002
      • Förlag:Vieweg+Teubner Verlag

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Artificiell intelligens inom Data och IT
      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

      Wolfgang Bibel - Automated Theorem Proving, Häftad

      Automated Theorem Proving

      Wolfgang Bibel

      Häftad, 1982

      581 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

      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