• 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

    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

    574 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 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 006 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

    808 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

    557 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

    574 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

    557 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

    608 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 149 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

    808 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