Gratis Versand in ganz Österreich
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