Gratisversand in ganz Deutschland!
Bookbot

Michael Hanus

    Algebraic and logic programming
    Practical aspects of declarative languages
    Logic based program synthesis and transformation
    Declarative Programming and Knowledge Management
    Problemlösen mit PROLOG
    • 1986

      Inhaltsverzeichnisund Überblick.Objekte in Prolog.Rechnen in Prolog = Beweisen von Aussagen.Elementare Programmiertechniken.Logische Grundlagen von Prolog.Nichtlogische Bestandteile von Prolog.Vordefinierte Prädikate und Operatoren.Praktische Programmierung mit Prolog.Grammatiken in Prolog.Anwendungen.

      Problemlösen mit PROLOG