wolfgang bibel

Grid   List

  1. Ausgezeichnete Informatikdissertationen 1996
    Ausgezeichnete Informatikdissertationen 1996
    Wolfgang Bibel
    Vieweg+Teubner Verlag
    Ebook
    Sofort lieferbar
    Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdissertation durch einen Preis aus. Die Auswahl dieser Dissertation stützt sich auf die von den Universitäten und Hochs...
    36,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Artificial Intelligence - Eine Einführung
    Artificial Intelligence - Eine Einführung
    Johannes Retti
    Vieweg+Teubner Verlag
    Ebook
    Sofort lieferbar
    Artificial Intelligence - Eine Einführung
    35,96 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Wissensrepräsentation und Inferenz
    Wissensrepräsentation und Inferenz
    Wolfgang Bibel
    Vieweg+Teubner Verlag
    Ebook
    Sofort lieferbar
    Das Gebiet der Wissenspräsentation und Inferenz umfaßt einen zentralen Bereich der Intellektik, d.h. des Gebietes der Künstlichen Intelligenz und der Kognitionswissenschaft. Es behandelt einerseits...
    38,66 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Studien- und Forschungsführer Künstliche Intelligenz
    Studien- und Forschungsführer Künstliche Intelligenz
    Wolfgang Bibel
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Der vorliegende Studien- und Forschungsführer Künstliche Intelligenz gibt einen aktuellen Überblick über die in der Bundesrepublik Deutschland und in Österreich bestehenden Ausbildungsmöglichkeiten...
    42,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Künstliche Intelligenz
    Künstliche Intelligenz
    Wolfgang Bibel
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Künstliche Intelligenz
    42,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Automated Theorem Proving
    Automated Theorem Proving
    Wolfgang Bibel
    Vieweg+Teubner Verlag
    Ebook
    Sofort lieferbar
    Automated Theorem Proving
    42,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Lehren vom Leben
    Lehren vom Leben
    Wolfgang Bibel
    Deutscher Universitätsverlag
    Ebook
    Sofort lieferbar
    Dieses Buch bietet eine gut verständliche und umfassende Lebenshilfe auf hohem Niveau. Es unterstützt den Leser in seinen Rollen im privaten, beruflichen oder öffentlichenBereich beim Entwurf eines...
    56,64 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Automated Theorem Proving
    Automated Theorem Proving
    Wolfgang Bibel
    Vieweg+Teubner Verlag
    Ebook
    Sofort lieferbar
    Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Deduktion
    Deduktion
    Wolfgang Bibel
    De Gruyter
    Ebook
    Sofort lieferbar
    Frontmatter -- Inhalt -- Vorwort der Herausgeber -- Vorwort des Autors -- 1. Einführung -- 2. Deduktion in der Aussagenlogik -- 3. Deduktion in der Prädikatenlogik -- 4. Verdichtungen und Strategie...
    109,95 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
    Wolfgang Bibel
    Springer Netherlands
    Ebook
    Sofort lieferbar
    1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot...
    213,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Fundamentals of Artificial Intelligence
    Fundamentals of Artificial Intelligence
    Wolfgang Bibel
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Fundamentals of Artificial Intelligence
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
    Wolfgang Bibel
    Springer Netherlands
    Ebook
    Sofort lieferbar
    We are invited to deal with mathematical activity in a sys­ tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy­ chology, logic, ma...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
  3. 3
<%--for search--%>