Bokus

Künstliche Intelligenz – serie

Visar alla böcker i serien Künstliche Intelligenz. Handla med fri frakt och snabb leverans.

15 produkter

  1. Reinhard Krickhahn - Die Wissensrepräsentationssprache OPS5, Häftad. Tillgänglighet: Lägg i varukorg

    Die Wissensrepräsentationssprache OPS5

    Sprachbeschreibung und Einführung in die regelorientierte Programmierung

    Av Reinhard Krickhahn

    Häftad, 1987

    583 kr

    Lägg i varukorg

  2. Rüdiger Esser - LISP, Häftad. Tillgänglighet: Lägg i varukorg

    LISP

    Fallbeispiele mit Anwendungen in der Künstlichen Intelligenz

    Av Rüdiger Esser

    Häftad, 1989

    566 kr

    Lägg i varukorg

    Eine Programmiersprache wird eingesetzt, um Verfahren zur Lösung von Anwen­ dungsproblemen auf dem Computer zu formulieren. Daher sollte das Erlernen einer Programmiersprache immer in Bezug auf ein Anwendungsgebiet erfolgen. Kennt man die Grundbegriffe einer Programmiersprache, erlangt man einen …

  3. Nils J. Nilsson - Logische Grundlagen der Künstlichen Intelligenz, Häftad. Tillgänglighet: Lägg i varukorg

    Logische Grundlagen der Künstlichen Intelligenz

    Av Nils J. Nilsson

    Häftad, 1989

    515 kr

    Lägg i varukorg

    Dieses Buch basiert auf zwei zentralen Annahmen: Für den wissen­ schaftlichen und technischen Fortschritt einer wissenschaftlichen Disziplin ist erstens ein geeignetes mathematisches Handwerkszeug zur Formulierung und Zusammenfassung neuer Ideen nötig. Zweitens ist die symbolische Logik ein sehr …

  4. Jürgen Dorn - Wissensbasierte Echtzeitplanung, Häftad. Tillgänglighet: Lägg i varukorg

    Wissensbasierte Echtzeitplanung

    Av Jürgen Dorn

    Häftad, 1989

    566 kr

    Lägg i varukorg

  5. Siegfried Bocionek - Modulare Regelprogrammierung, Häftad. Tillgänglighet: Lägg i varukorg

    Modulare Regelprogrammierung

    Av Siegfried Bocionek

    Häftad, 1990

    583 kr

    Lägg i varukorg

  6. Christoph Walther - Automatisierung von Terminierungsbeweisen, Häftad. Tillgänglighet: Lägg i varukorg

    Automatisierung von Terminierungsbeweisen

    Av Christoph Walther

    Häftad, 1991

    583 kr

    Lägg i varukorg

  7. Elmar Eder - Relative Complexities of First Order Calculi, Häftad. Tillgänglighet: Lägg i varukorg

    Relative Complexities of First Order Calculi

    Av Elmar Eder

    Häftad, 1992

    566 kr

    Lägg i varukorg

  8. Léa Sombé - Schließen bei unsicherem Wissen in der Künstlichen Intelligenz, Häftad. Tillgänglighet: Lägg i varukorg

    Schließen bei unsicherem Wissen in der Künstlichen Intelligenz

    Vergleich von Formalismen anhand eines Beispiels

    Av Léa Sombé

    Häftad, 1992

    583 kr

    Lägg i varukorg

  9. Ulrich Furbach - Logische und Funktionale Programmierung, Häftad. Tillgänglighet: Lägg i varukorg

    Logische und Funktionale Programmierung

    Grundlagen einer Kombination

    Av Ulrich Furbach

    Häftad, 1991

    583 kr

    Lägg i varukorg

  10. Parallelism in Logic, Häftad. Tillgänglighet: Lägg i varukorg

    Parallelism in Logic

    Its Potential for Performance and Program Development

    Häftad, 1991

    583 kr

    Lägg i varukorg

  11. Detlef D. Nauck - Neuronale Netze und Fuzzy-Systeme, Häftad. Tillgänglighet: Lägg i varukorg

    Neuronale Netze und Fuzzy-Systeme

    Grundlagen des Konnektionismus, Neuronaler Fuzzy-Systeme und der Kopplung mit wissensbasierten Methoden

    Av Detlef D. Nauck

    Häftad, 1994

    583 kr

    Lägg i varukorg

  12. Dietrich Paulus - Objektorientierte und wissensbasierte Bildverarbeitung, Häftad. Tillgänglighet: Lägg i varukorg

    Objektorientierte und wissensbasierte Bildverarbeitung

    Av Dietrich Paulus

    Häftad, 1992

    583 kr

    Lägg i varukorg

  13. Paul Cordes, Paul Schmitz - Prolog, Häftad. Tillgänglighet: Lägg i varukorg

    Prolog

    Eine methodische Einführung

    Av Paul Cordes, Paul Schmitz

    Häftad, 1990

    583 kr

    Lägg i varukorg

  14. Wolfgang Bibel - Automated Theorem Proving, Häftad. Tillgänglighet: Lägg i varukorg

    Automated Theorem Proving

    Av Wolfgang Bibel

    Häftad, 1987

    1128 kr

    Lägg i varukorg

    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 to reflect the state of the art in the field. The most significant change is in the quality of the …

  15. Ralf Cordes, Paul Schmitz - Prolog, Häftad. Tillgänglighet: Lägg i varukorg

    Prolog

    Eine methodische Einführung

    Av Ralf Cordes, Paul Schmitz

    Häftad, 1992

    583 kr

    Lägg i varukorg